1.1 --- a/Admin/Cygwin/README Sun May 06 13:58:05 2012 +0200
1.2 +++ b/Admin/Cygwin/README Mon May 07 20:35:53 2012 +0200
1.3 @@ -11,7 +11,7 @@
1.4 http://cygwin.com/ml/cygwin/2012-04/msg00415.html
1.5 http://cygwin.com/ml/cygwin/2012-04/msg00417.html
1.6
1.7 -* Mirror with many old versions (not setup.init!)
1.8 +* Mirror with many old versions (not setup.ini)
1.9 http://ftp.eq.uc.pt/software/pc/prog/cygwin
1.10
1.11 * Time machine for older versions:
2.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
2.2 +++ b/Admin/Cygwin/init.bat Mon May 07 20:35:53 2012 +0200
2.3 @@ -0,0 +1,7 @@
2.4 +@echo off
2.5 +
2.6 +cd "%~dp0"
2.7 +cd "..\.."
2.8 +
2.9 +"contrib\cygwin-1.7.9\bin\ash" /bin/rebaseall
2.10 +"contrib\cygwin-1.7.9\bin\bash" -c "PATH=/bin; chmod -wx $(find heaps -type f); mkpasswd -l >/etc/passwd; mkgroup -l >/etc/group"
3.1 --- a/Admin/Cygwin/sfx.txt Sun May 06 13:58:05 2012 +0200
3.2 +++ b/Admin/Cygwin/sfx.txt Mon May 07 20:35:53 2012 +0200
3.3 @@ -5,4 +5,5 @@
3.4 ExtractPathText="Target directory"
3.5 ExtractTitle="Unpacking Isabelle2012 ..."
3.6 Shortcut="Du,{%%T\Isabelle2012\Isabelle.exe},{},{},{},{},{%%T\Isabelle2012}"
3.7 +RunProgram="%%T\Isabelle2012\contrib\cygwin-1.7.9\init.bat"
3.8 ;!@InstallEnd@!