Admin/Windows/Cygwin/Cygwin-Terminal.bat
changeset 48197 b13dd10ebc77
parent 47735 5c158c6fe98c
child 50810 76967aa4fe84
equal deleted inserted replaced
48196:b7313810b6e6 48197:b13dd10ebc77
       
     1 @echo off
       
     2 
       
     3 set HOME=%HOMEDRIVE%%HOMEPATH%
       
     4 set PATH=%CD%\bin;%PATH%
       
     5 set CHERE_INVOKING=true
       
     6 
       
     7 echo This is the GNU Bash interpreter of Cygwin.
       
     8 echo Use command "isabelle" to invoke Isabelle tools.
       
     9 "%CD%\contrib\cygwin-1.7.9\bin\bash" --login -i