author | wenzelm |
Thu, 10 Jan 2013 20:41:52 +0100 | |
changeset 50810 | 76967aa4fe84 |
parent 48197 | b13dd10ebc77 |
child 50831 | 7784cc660580 |
permissions | -rwxr-xr-x |
47708 | 1 |
@echo off |
2 |
||
3 |
set HOME=%HOMEDRIVE%%HOMEPATH% |
|
4 |
set PATH=%CD%\bin;%PATH% |
|
47721
77d9881bc820
prevent change of directory, by pretending we are the "Command Here" utility;
wenzelm
parents:
47708
diff
changeset
|
5 |
set CHERE_INVOKING=true |
47735 | 6 |
|
7 |
echo This is the GNU Bash interpreter of Cygwin. |
|
8 |
echo Use command "isabelle" to invoke Isabelle tools. |
|
50810
76967aa4fe84
outermost directory structure for Windows/Cygwin;
wenzelm
parents:
48197
diff
changeset
|
9 |
"%CD%\cygwin\bin\bash" --login -i |