init Cygwin after unpacking;
authorwenzelm
Mon May 07 20:35:53 2012 +0200 (2012-05-07)
changeset 478731636ff4c6243
parent 47872 1f6f519cdb32
child 47874 e46e9900e350
init Cygwin after unpacking;
Admin/Cygwin/README
Admin/Cygwin/init.bat
Admin/Cygwin/sfx.txt
     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@!