Admin/Windows/Cygwin/README
author wenzelm
Sat, 28 Nov 2020 16:25:29 +0100
changeset 72759 bd5ee3148132
parent 71385 06bb82e7af2a
child 74066 b3f072aa4690
permissions -rw-r--r--
more antiquotations (reverting 4df341249348);
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
50984
7c07ade3c8e0 misc cleanup;
wenzelm
parents: 48197
diff changeset
     1
Cygwin
7c07ade3c8e0 misc cleanup;
wenzelm
parents: 48197
diff changeset
     2
======
41669
0820c4ebcad6 some notes on Cygwin;
wenzelm
parents:
diff changeset
     3
68374
8740e1241555 updated to current Cygwin, after 2.10.0-1 from 02-Feb-2018;
wenzelm
parents: 67767
diff changeset
     4
* https://www.cygwin.com/
41669
0820c4ebcad6 some notes on Cygwin;
wenzelm
parents:
diff changeset
     5
47873
1636ff4c6243 init Cygwin after unpacking;
wenzelm
parents: 47838
diff changeset
     6
* Mirror with many old versions (not setup.ini)
68374
8740e1241555 updated to current Cygwin, after 2.10.0-1 from 02-Feb-2018;
wenzelm
parents: 67767
diff changeset
     7
  https://ftp.eq.uc.pt/software/pc/prog/cygwin
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
     8
50984
7c07ade3c8e0 misc cleanup;
wenzelm
parents: 48197
diff changeset
     9
* Local snapshots:
71335
2afdd24ff707 improved Markdown-like display in Phabricator;
wenzelm
parents: 69932
diff changeset
    10
  - http://isabelle.in.tum.de/cygwin  (Isabelle2012)
2afdd24ff707 improved Markdown-like display in Phabricator;
wenzelm
parents: 69932
diff changeset
    11
  - http://isabelle.in.tum.de/cygwin_2013  (Isabelle2013)
2afdd24ff707 improved Markdown-like display in Phabricator;
wenzelm
parents: 69932
diff changeset
    12
  - http://isabelle.in.tum.de/cygwin_2013-1  (Isabelle2013-1 and Isabelle2013-2)
2afdd24ff707 improved Markdown-like display in Phabricator;
wenzelm
parents: 69932
diff changeset
    13
  - http://isabelle.in.tum.de/cygwin_2014  (Isabelle2014)
2afdd24ff707 improved Markdown-like display in Phabricator;
wenzelm
parents: 69932
diff changeset
    14
  - http://isabelle.in.tum.de/cygwin_2015  (Isabelle2015)
2afdd24ff707 improved Markdown-like display in Phabricator;
wenzelm
parents: 69932
diff changeset
    15
  - http://isabelle.in.tum.de/cygwin_2016  (Isabelle2016)
2afdd24ff707 improved Markdown-like display in Phabricator;
wenzelm
parents: 69932
diff changeset
    16
  - http://isabelle.in.tum.de/cygwin_2016-1  (Isabelle2016-1)
2afdd24ff707 improved Markdown-like display in Phabricator;
wenzelm
parents: 69932
diff changeset
    17
  - http://isabelle.in.tum.de/cygwin_2017  (Isabelle2017)
2afdd24ff707 improved Markdown-like display in Phabricator;
wenzelm
parents: 69932
diff changeset
    18
  - https://isabelle.sketis.net/cygwin_2018  (Isabelle2018)
2afdd24ff707 improved Markdown-like display in Phabricator;
wenzelm
parents: 69932
diff changeset
    19
  - https://isabelle.sketis.net/cygwin_2019  (Isabelle2019)
71385
06bb82e7af2a updated to current cygwin, after 3.1.2-1 from 21-Dec-2019;
wenzelm
parents: 71335
diff changeset
    20
  - https://isabelle.sketis.net/cygwin_2020  (Isabelle2020)
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
    21
67767
f95a163c58bb document existing Apache2 configuration;
wenzelm
parents: 66529
diff changeset
    22
* Apache2 redirects for virtual host isabelle.conf:
71335
2afdd24ff707 improved Markdown-like display in Phabricator;
wenzelm
parents: 69932
diff changeset
    23
```
67767
f95a163c58bb document existing Apache2 configuration;
wenzelm
parents: 66529
diff changeset
    24
  Redirect /cygwin/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/release
f95a163c58bb document existing Apache2 configuration;
wenzelm
parents: 66529
diff changeset
    25
  Redirect /cygwin_2013/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/release
f95a163c58bb document existing Apache2 configuration;
wenzelm
parents: 66529
diff changeset
    26
  Redirect /cygwin_2013-1/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/release
f95a163c58bb document existing Apache2 configuration;
wenzelm
parents: 66529
diff changeset
    27
  Redirect /cygwin_2013-1/x86/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release
f95a163c58bb document existing Apache2 configuration;
wenzelm
parents: 66529
diff changeset
    28
  Redirect /cygwin_2014/x86/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release
f95a163c58bb document existing Apache2 configuration;
wenzelm
parents: 66529
diff changeset
    29
  Redirect /cygwin_2015/x86/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release
f95a163c58bb document existing Apache2 configuration;
wenzelm
parents: 66529
diff changeset
    30
  Redirect /cygwin_2015/x86_64/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release
f95a163c58bb document existing Apache2 configuration;
wenzelm
parents: 66529
diff changeset
    31
  Redirect /cygwin_2016/x86/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release
f95a163c58bb document existing Apache2 configuration;
wenzelm
parents: 66529
diff changeset
    32
  Redirect /cygwin_2016/x86_64/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release
f95a163c58bb document existing Apache2 configuration;
wenzelm
parents: 66529
diff changeset
    33
  Redirect /cygwin_2016-1/x86/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release
f95a163c58bb document existing Apache2 configuration;
wenzelm
parents: 66529
diff changeset
    34
  Redirect /cygwin_2016-1/noarch/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release
f95a163c58bb document existing Apache2 configuration;
wenzelm
parents: 66529
diff changeset
    35
  Redirect /cygwin_2017/x86/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release
f95a163c58bb document existing Apache2 configuration;
wenzelm
parents: 66529
diff changeset
    36
  Redirect /cygwin_2017/x86_64/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release
f95a163c58bb document existing Apache2 configuration;
wenzelm
parents: 66529
diff changeset
    37
  Redirect /cygwin_2017/noarch/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release
68374
8740e1241555 updated to current Cygwin, after 2.10.0-1 from 02-Feb-2018;
wenzelm
parents: 67767
diff changeset
    38
  Redirect /cygwin_2018/x86/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release
8740e1241555 updated to current Cygwin, after 2.10.0-1 from 02-Feb-2018;
wenzelm
parents: 67767
diff changeset
    39
  Redirect /cygwin_2018/x86_64/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release
8740e1241555 updated to current Cygwin, after 2.10.0-1 from 02-Feb-2018;
wenzelm
parents: 67767
diff changeset
    40
  Redirect /cygwin_2018/noarch/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release
69932
56c51f8a118b updated to Cygwin 3.0.4 (approximation for Isabelle2019);
wenzelm
parents: 68374
diff changeset
    41
  Redirect /cygwin_2019/x86/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release
56c51f8a118b updated to Cygwin 3.0.4 (approximation for Isabelle2019);
wenzelm
parents: 68374
diff changeset
    42
  Redirect /cygwin_2019/x86_64/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release
56c51f8a118b updated to Cygwin 3.0.4 (approximation for Isabelle2019);
wenzelm
parents: 68374
diff changeset
    43
  Redirect /cygwin_2019/noarch/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release
71385
06bb82e7af2a updated to current cygwin, after 3.1.2-1 from 21-Dec-2019;
wenzelm
parents: 71335
diff changeset
    44
  Redirect /cygwin_2020/x86_64/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release
06bb82e7af2a updated to current cygwin, after 3.1.2-1 from 21-Dec-2019;
wenzelm
parents: 71335
diff changeset
    45
  Redirect /cygwin_2020/noarch/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release
71335
2afdd24ff707 improved Markdown-like display in Phabricator;
wenzelm
parents: 69932
diff changeset
    46
```
67767
f95a163c58bb document existing Apache2 configuration;
wenzelm
parents: 66529
diff changeset
    47
65071
9ed87c82cbe7 proper Isabelle/Scala tool;
wenzelm
parents: 64344
diff changeset
    48
* Quasi-component: "isabelle build_cygwin" (as Administrator)
64312
1c7b77286ed0 basic SSH server configuration;
wenzelm
parents: 63989
diff changeset
    49
1c7b77286ed0 basic SSH server configuration;
wenzelm
parents: 63989
diff changeset
    50
* SSH server:
1c7b77286ed0 basic SSH server configuration;
wenzelm
parents: 63989
diff changeset
    51
1c7b77286ed0 basic SSH server configuration;
wenzelm
parents: 63989
diff changeset
    52
  - run Cygwin terminal as Administrator
1c7b77286ed0 basic SSH server configuration;
wenzelm
parents: 63989
diff changeset
    53
1c7b77286ed0 basic SSH server configuration;
wenzelm
parents: 63989
diff changeset
    54
  - run ssh-host-config
71335
2afdd24ff707 improved Markdown-like display in Phabricator;
wenzelm
parents: 69932
diff changeset
    55
```
64312
1c7b77286ed0 basic SSH server configuration;
wenzelm
parents: 63989
diff changeset
    56
    StrictMode: yes
1c7b77286ed0 basic SSH server configuration;
wenzelm
parents: 63989
diff changeset
    57
    privilege separation: yes
1c7b77286ed0 basic SSH server configuration;
wenzelm
parents: 63989
diff changeset
    58
    new local account 'sshd': yes
1c7b77286ed0 basic SSH server configuration;
wenzelm
parents: 63989
diff changeset
    59
    sshd as a service: yes
1c7b77286ed0 basic SSH server configuration;
wenzelm
parents: 63989
diff changeset
    60
    different name (than cyg_server): no
1c7b77286ed0 basic SSH server configuration;
wenzelm
parents: 63989
diff changeset
    61
    new privileged account cyg_server: yes
71335
2afdd24ff707 improved Markdown-like display in Phabricator;
wenzelm
parents: 69932
diff changeset
    62
```
64312
1c7b77286ed0 basic SSH server configuration;
wenzelm
parents: 63989
diff changeset
    63
71335
2afdd24ff707 improved Markdown-like display in Phabricator;
wenzelm
parents: 69932
diff changeset
    64
  - user setup
2afdd24ff707 improved Markdown-like display in Phabricator;
wenzelm
parents: 69932
diff changeset
    65
```
2afdd24ff707 improved Markdown-like display in Phabricator;
wenzelm
parents: 69932
diff changeset
    66
    mkpasswd -l > /etc/passwd
64312
1c7b77286ed0 basic SSH server configuration;
wenzelm
parents: 63989
diff changeset
    67
    mkgroup -l > /etc/group
1c7b77286ed0 basic SSH server configuration;
wenzelm
parents: 63989
diff changeset
    68
1c7b77286ed0 basic SSH server configuration;
wenzelm
parents: 63989
diff changeset
    69
    passwd -R USER
71335
2afdd24ff707 improved Markdown-like display in Phabricator;
wenzelm
parents: 69932
diff changeset
    70
```