Admin/Windows/Cygwin/Cygwin-Terminal.bat
changeset 61826 6f9e5fb0683f
parent 58640 37f852399a32
equal deleted inserted replaced
61825:69b035408b18 61826:6f9e5fb0683f
     1 @echo off
     1 @echo off
     2 
     2 
     3 set TEMP_WINDOWS=%TEMP%
     3 set TEMP_WINDOWS=%TEMP%
     4 set HOME=%HOMEDRIVE%%HOMEPATH%
     4 set HOME=%HOMEDRIVE%%HOMEPATH%
     5 set PATH=%CD%\bin;%PATH%
     5 set PATH=%CD%\bin;%PATH%
       
     6 set LANG=en_US.UTF-8
     6 set CHERE_INVOKING=true
     7 set CHERE_INVOKING=true
     7 
     8 
     8 echo This is the GNU Bash interpreter of Cygwin.
     9 echo This is the GNU Bash interpreter of Cygwin.
     9 echo Use command "isabelle" to invoke Isabelle tools.
    10 echo Use command "isabelle" to invoke Isabelle tools.
    10 "%CD%\contrib\cygwin\bin\bash" --login -i
    11 "%CD%\contrib\cygwin\bin\bash" --login -i