--- 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:
--- /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"
--- 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@!