Re: [isabelle] Fresh Install
On Fri, 2 Mar 2012, Jens Doll wrote:
being over several hurdles now, the Cygwin on WinXP (downloaded on March 1)
is still not stable. From time to time there is a crash - like the one below.
2 [main] sh 3652 C:\CygWin\root\bin\sh.exe: *** fatal error - internal
error reading the windows environment - too many environment variables?
Googling for 10min reveals the following from
The maximum size of a user-defined environment variable is 32,767
characters. There is no technical limitation on the size of the
environment block. However, there are practical limits depending on the
mechanism used to access the block. For example, a batch file cannot set a
variable that is longer than the maximum command line length.
Windows Server 2003 and Windows XP: The maximum size of the
environment block for the process is 32,767 characters. Starting with
Windows Vista and Windows Server 2008, there is no technical limitation on
the size of the environment block.
This means you either need to make sure that the total environment is less
than 32K or update to Windows 7 or similar.
This archive was generated by a fusion of
Pipermail (Mailman edition) and