isabelle: Admin/Windows/Cygwin/Cygwin-Terminal.bat@b847a9983784 (annotated)

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

author	wenzelm
	Fri, 16 Sep 2022 20:54:56 +0200
changeset 76177	b847a9983784
parent 61826	6f9e5fb0683f
child 80033	71d005ffa9fe
permissions	-rwxr-xr-x