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;

@echo off

cd "%~dp0"
cd "..\.."

echo Initializing ...
"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"