Admin/Windows/Cygwin/Cygwin-Terminal.bat
author wenzelm
Sat, 28 Nov 2020 16:25:29 +0100
changeset 72759 bd5ee3148132
parent 61826 6f9e5fb0683f
permissions -rwxr-xr-x
more antiquotations (reverting 4df341249348);
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
47708
49c05c666475 basic Cygwin-Terminal for main Isabelle directory;
wenzelm
parents:
diff changeset
     1
@echo off
49c05c666475 basic Cygwin-Terminal for main Isabelle directory;
wenzelm
parents:
diff changeset
     2
58640
37f852399a32 prefer original TEMP from Windows, e.g. relevant for Isabelle distribution within read-only directory (due to its bundled Cygwin and /tmp inside of it);
wenzelm
parents: 50831
diff changeset
     3
set TEMP_WINDOWS=%TEMP%
47708
49c05c666475 basic Cygwin-Terminal for main Isabelle directory;
wenzelm
parents:
diff changeset
     4
set HOME=%HOMEDRIVE%%HOMEPATH%
49c05c666475 basic Cygwin-Terminal for main Isabelle directory;
wenzelm
parents:
diff changeset
     5
set PATH=%CD%\bin;%PATH%
61826
6f9e5fb0683f hardwired LANG, to avoid sporadic surprises with local environments;
wenzelm
parents: 58640
diff changeset
     6
set LANG=en_US.UTF-8
47721
77d9881bc820 prevent change of directory, by pretending we are the "Command Here" utility;
wenzelm
parents: 47708
diff changeset
     7
set CHERE_INVOKING=true
47735
5c158c6fe98c some friendly message;
wenzelm
parents: 47721
diff changeset
     8
5c158c6fe98c some friendly message;
wenzelm
parents: 47721
diff changeset
     9
echo This is the GNU Bash interpreter of Cygwin.
5c158c6fe98c some friendly message;
wenzelm
parents: 47721
diff changeset
    10
echo Use command "isabelle" to invoke Isabelle tools.
50831
7784cc660580 more standard contrib/cygwin location (again);
wenzelm
parents: 50810
diff changeset
    11
"%CD%\contrib\cygwin\bin\bash" --login -i