Admin/Windows/Cygwin/README
author wenzelm
Fri, 20 Jul 2012 16:47:17 +0200
changeset 48367 680d297ec71b
parent 48197 b13dd10ebc77
child 50984 7c07ade3c8e0
permissions -rw-r--r--
some basic Isabelle options;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
41669
0820c4ebcad6 some notes on Cygwin;
wenzelm
parents:
diff changeset
     1
Notes on Cygwin
0820c4ebcad6 some notes on Cygwin;
wenzelm
parents:
diff changeset
     2
===============
0820c4ebcad6 some notes on Cygwin;
wenzelm
parents:
diff changeset
     3
0820c4ebcad6 some notes on Cygwin;
wenzelm
parents:
diff changeset
     4
* http://www.cygwin.com/
0820c4ebcad6 some notes on Cygwin;
wenzelm
parents:
diff changeset
     5
0820c4ebcad6 some notes on Cygwin;
wenzelm
parents:
diff changeset
     6
* http://www.cygwin.com/cygwin-ug-net/ntsec.html
0820c4ebcad6 some notes on Cygwin;
wenzelm
parents:
diff changeset
     7
0820c4ebcad6 some notes on Cygwin;
wenzelm
parents:
diff changeset
     8
* http://chinese-watercolor.com/LRP/printsrv/cygwin-sshd.html
0820c4ebcad6 some notes on Cygwin;
wenzelm
parents:
diff changeset
     9
47696
1c9c498ed4f1 more notes on Cygwin, notably for downgrading to 1.7.9 to avoid multi-threading instabilities starting with 1.7.10 early 2012;
wenzelm
parents: 41669
diff changeset
    10
* Cygwin crash of Poly/ML 5.4.0, 5.4.1 with threads (and sockets?)
1c9c498ed4f1 more notes on Cygwin, notably for downgrading to 1.7.9 to avoid multi-threading instabilities starting with 1.7.10 early 2012;
wenzelm
parents: 41669
diff changeset
    11
http://cygwin.com/ml/cygwin/2012-04/msg00415.html
1c9c498ed4f1 more notes on Cygwin, notably for downgrading to 1.7.9 to avoid multi-threading instabilities starting with 1.7.10 early 2012;
wenzelm
parents: 41669
diff changeset
    12
http://cygwin.com/ml/cygwin/2012-04/msg00417.html
1c9c498ed4f1 more notes on Cygwin, notably for downgrading to 1.7.9 to avoid multi-threading instabilities starting with 1.7.10 early 2012;
wenzelm
parents: 41669
diff changeset
    13
47873
1636ff4c6243 init Cygwin after unpacking;
wenzelm
parents: 47838
diff changeset
    14
* Mirror with many old versions (not setup.ini)
47696
1c9c498ed4f1 more notes on Cygwin, notably for downgrading to 1.7.9 to avoid multi-threading instabilities starting with 1.7.10 early 2012;
wenzelm
parents: 41669
diff changeset
    15
  http://ftp.eq.uc.pt/software/pc/prog/cygwin
1c9c498ed4f1 more notes on Cygwin, notably for downgrading to 1.7.9 to avoid multi-threading instabilities starting with 1.7.10 early 2012;
wenzelm
parents: 41669
diff changeset
    16
1c9c498ed4f1 more notes on Cygwin, notably for downgrading to 1.7.9 to avoid multi-threading instabilities starting with 1.7.10 early 2012;
wenzelm
parents: 41669
diff changeset
    17
* Time machine for older versions:
1c9c498ed4f1 more notes on Cygwin, notably for downgrading to 1.7.9 to avoid multi-threading instabilities starting with 1.7.10 early 2012;
wenzelm
parents: 41669
diff changeset
    18
  http://www.fruitbat.org/Cygwin/index.html#cygwincirca
1c9c498ed4f1 more notes on Cygwin, notably for downgrading to 1.7.9 to avoid multi-threading instabilities starting with 1.7.10 early 2012;
wenzelm
parents: 41669
diff changeset
    19
1c9c498ed4f1 more notes on Cygwin, notably for downgrading to 1.7.9 to avoid multi-threading instabilities starting with 1.7.10 early 2012;
wenzelm
parents: 41669
diff changeset
    20
  e.g. ftp://www.fruitbat.org/pub/cygwin/circa/2012/02/04/034515/setup.ini
1c9c498ed4f1 more notes on Cygwin, notably for downgrading to 1.7.9 to avoid multi-threading instabilities starting with 1.7.10 early 2012;
wenzelm
parents: 41669
diff changeset
    21
  for last 1.7.9 version
1c9c498ed4f1 more notes on Cygwin, notably for downgrading to 1.7.9 to avoid multi-threading instabilities starting with 1.7.10 early 2012;
wenzelm
parents: 41669
diff changeset
    22
47838
47d213b10fd7 basic setup for self-extracting 7zip installer;
wenzelm
parents: 47696
diff changeset
    23
* 7zip self-extracting installer: http://www.7zsfx.info