author | wenzelm |
Tue, 28 Feb 2017 19:50:08 +0100 | |
changeset 65071 | 9ed87c82cbe7 |
parent 64344 | c1695143de35 |
child 66529 | f39e01e9c489 |
permissions | -rw-r--r-- |
50984 | 1 |
Cygwin |
2 |
====== |
|
41669 | 3 |
|
4 |
* http://www.cygwin.com/ |
|
5 |
||
47873 | 6 |
* 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
|
7 |
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
|
8 |
|
50984 | 9 |
* Local snapshots: |
10 |
http://isabelle.in.tum.de/cygwin (Isabelle2012) |
|
11 |
http://isabelle.in.tum.de/cygwin_2013 (Isabelle2013) |
|
54639 | 12 |
http://isabelle.in.tum.de/cygwin_2013-1 (Isabelle2013-1 and Isabelle2013-2) |
57027 | 13 |
http://isabelle.in.tum.de/cygwin_2014 (Isabelle2014) |
60015 | 14 |
http://isabelle.in.tum.de/cygwin_2015 (Isabelle2015) |
61827
31054660f285
current Cygwin snapshot in preparation of release;
wenzelm
parents:
60015
diff
changeset
|
15 |
http://isabelle.in.tum.de/cygwin_2016 (Isabelle2016) |
64344
c1695143de35
pro-forma update to cygwin_2016-1 (web service still missing);
wenzelm
parents:
64312
diff
changeset
|
16 |
http://isabelle.in.tum.de/cygwin_2016-1 (Isabelle2016-1) |
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
|
17 |
|
65071 | 18 |
* Quasi-component: "isabelle build_cygwin" (as Administrator) |
64312 | 19 |
|
20 |
* SSH server: |
|
21 |
||
22 |
- run Cygwin terminal as Administrator |
|
23 |
||
24 |
- run ssh-host-config |
|
25 |
||
26 |
StrictMode: yes |
|
27 |
privilege separation: yes |
|
28 |
new local account 'sshd': yes |
|
29 |
sshd as a service: yes |
|
30 |
different name (than cyg_server): no |
|
31 |
new privileged account cyg_server: yes |
|
32 |
||
33 |
- mkpasswd -l > /etc/passwd |
|
34 |
mkgroup -l > /etc/group |
|
35 |
||
36 |
passwd -R USER |