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 http://msdn.microsoft.com/en-us/library/windows/desktop/ms682653%28v=vs.85%29.aspx

  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.


	Makarius





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.