NameDateSize

..25-Jul-20195

Cygwin-Setup.batH A D25-Jul-2019152

Cygwin-Terminal.batH A D25-Jul-2019293

isabelle/H25-Jul-20194

READMEH A D30-Oct-20203.3 KiB

setup_serverH A D30-Oct-2020542

README

1Cygwin
2======
3
4* https://www.cygwin.com/
5
6* Mirror with many old versions (not setup.ini)
7  https://ftp.eq.uc.pt/software/pc/prog/cygwin
8
9* Local snapshots:
10  - http://isabelle.in.tum.de/cygwin  (Isabelle2012)
11  - http://isabelle.in.tum.de/cygwin_2013  (Isabelle2013)
12  - http://isabelle.in.tum.de/cygwin_2013-1  (Isabelle2013-1 and Isabelle2013-2)
13  - http://isabelle.in.tum.de/cygwin_2014  (Isabelle2014)
14  - http://isabelle.in.tum.de/cygwin_2015  (Isabelle2015)
15  - http://isabelle.in.tum.de/cygwin_2016  (Isabelle2016)
16  - http://isabelle.in.tum.de/cygwin_2016-1  (Isabelle2016-1)
17  - http://isabelle.in.tum.de/cygwin_2017  (Isabelle2017)
18  - https://isabelle.sketis.net/cygwin_2018  (Isabelle2018)
19  - https://isabelle.sketis.net/cygwin_2019  (Isabelle2019)
20  - https://isabelle.sketis.net/cygwin_2020  (Isabelle2020)
21
22* Apache2 redirects for virtual host isabelle.conf:
23```
24  Redirect /cygwin/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/release
25  Redirect /cygwin_2013/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/release
26  Redirect /cygwin_2013-1/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/release
27  Redirect /cygwin_2013-1/x86/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release
28  Redirect /cygwin_2014/x86/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release
29  Redirect /cygwin_2015/x86/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release
30  Redirect /cygwin_2015/x86_64/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release
31  Redirect /cygwin_2016/x86/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release
32  Redirect /cygwin_2016/x86_64/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release
33  Redirect /cygwin_2016-1/x86/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release
34  Redirect /cygwin_2016-1/noarch/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release
35  Redirect /cygwin_2017/x86/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release
36  Redirect /cygwin_2017/x86_64/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release
37  Redirect /cygwin_2017/noarch/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release
38  Redirect /cygwin_2018/x86/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release
39  Redirect /cygwin_2018/x86_64/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release
40  Redirect /cygwin_2018/noarch/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release
41  Redirect /cygwin_2019/x86/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release
42  Redirect /cygwin_2019/x86_64/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release
43  Redirect /cygwin_2019/noarch/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release
44  Redirect /cygwin_2020/x86_64/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release
45  Redirect /cygwin_2020/noarch/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release
46```
47
48* Quasi-component: "isabelle build_cygwin" (as Administrator)
49
50* SSH server:
51
52  - run Cygwin terminal as Administrator
53
54  - run ssh-host-config
55```
56    StrictMode: yes
57    privilege separation: yes
58    new local account 'sshd': yes
59    sshd as a service: yes
60    different name (than cyg_server): no
61    new privileged account cyg_server: yes
62```
63
64  - user setup
65```
66    mkpasswd -l > /etc/passwd
67    mkgroup -l > /etc/group
68
69    passwd -R USER
70```
71