Admin/Windows/Cygwin/init.bat
author wenzelm
Fri, 20 Jul 2012 16:47:17 +0200
changeset 48367 680d297ec71b
parent 48197 b13dd10ebc77
child 50806 c19dba2d7ffe
permissions -rwxr-xr-x
some basic Isabelle options;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
47873
1636ff4c6243 init Cygwin after unpacking;
wenzelm
parents:
diff changeset
     1
@echo off
1636ff4c6243 init Cygwin after unpacking;
wenzelm
parents:
diff changeset
     2
1636ff4c6243 init Cygwin after unpacking;
wenzelm
parents:
diff changeset
     3
cd "%~dp0"
1636ff4c6243 init Cygwin after unpacking;
wenzelm
parents:
diff changeset
     4
cd "..\.."
1636ff4c6243 init Cygwin after unpacking;
wenzelm
parents:
diff changeset
     5
47882
ed5f56b8f90a some message;
wenzelm
parents: 47873
diff changeset
     6
echo Initializing ...
47873
1636ff4c6243 init Cygwin after unpacking;
wenzelm
parents:
diff changeset
     7
"contrib\cygwin-1.7.9\bin\ash" /bin/rebaseall
1636ff4c6243 init Cygwin after unpacking;
wenzelm
parents:
diff changeset
     8
"contrib\cygwin-1.7.9\bin\bash" -c "PATH=/bin; chmod -wx $(find heaps -type f); mkpasswd -l >/etc/passwd; mkgroup -l >/etc/group"