# HG changeset patch
# User wenzelm
# Date 1336415753 -7200
# Node ID 1636ff4c6243b653054e3061d312f7859c67429c
# Parent  1f6f519cdb32c22457dc670c00d44eed79c05840
init Cygwin after unpacking;

diff -r 1f6f519cdb32 -r 1636ff4c6243 Admin/Cygwin/README
--- a/Admin/Cygwin/README	Sun May 06 13:58:05 2012 +0200
+++ b/Admin/Cygwin/README	Mon May 07 20:35:53 2012 +0200
@@ -11,7 +11,7 @@
 http://cygwin.com/ml/cygwin/2012-04/msg00415.html
 http://cygwin.com/ml/cygwin/2012-04/msg00417.html
 
-* Mirror with many old versions (not setup.init!)
+* Mirror with many old versions (not setup.ini)
   http://ftp.eq.uc.pt/software/pc/prog/cygwin
 
 * Time machine for older versions:
diff -r 1f6f519cdb32 -r 1636ff4c6243 Admin/Cygwin/init.bat
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/Cygwin/init.bat	Mon May 07 20:35:53 2012 +0200
@@ -0,0 +1,7 @@
+@echo off
+
+cd "%~dp0"
+cd "..\.."
+
+"contrib\cygwin-1.7.9\bin\ash" /bin/rebaseall
+"contrib\cygwin-1.7.9\bin\bash" -c "PATH=/bin; chmod -wx $(find heaps -type f); mkpasswd -l >/etc/passwd; mkgroup -l >/etc/group"
diff -r 1f6f519cdb32 -r 1636ff4c6243 Admin/Cygwin/sfx.txt
--- a/Admin/Cygwin/sfx.txt	Sun May 06 13:58:05 2012 +0200
+++ b/Admin/Cygwin/sfx.txt	Mon May 07 20:35:53 2012 +0200
@@ -5,4 +5,5 @@
 ExtractPathText="Target directory"
 ExtractTitle="Unpacking Isabelle2012 ..."
 Shortcut="Du,{%%T\Isabelle2012\Isabelle.exe},{},{},{},{},{%%T\Isabelle2012}"
+RunProgram="%%T\Isabelle2012\contrib\cygwin-1.7.9\init.bat"
 ;!@InstallEnd@!