--- a/Admin/Windows/Cygwin/README Sun Dec 22 15:53:54 2019 +0100
+++ b/Admin/Windows/Cygwin/README Sun Dec 22 16:12:13 2019 +0100
@@ -7,18 +7,19 @@
https://ftp.eq.uc.pt/software/pc/prog/cygwin
* Local snapshots:
- http://isabelle.in.tum.de/cygwin (Isabelle2012)
- http://isabelle.in.tum.de/cygwin_2013 (Isabelle2013)
- http://isabelle.in.tum.de/cygwin_2013-1 (Isabelle2013-1 and Isabelle2013-2)
- http://isabelle.in.tum.de/cygwin_2014 (Isabelle2014)
- http://isabelle.in.tum.de/cygwin_2015 (Isabelle2015)
- http://isabelle.in.tum.de/cygwin_2016 (Isabelle2016)
- http://isabelle.in.tum.de/cygwin_2016-1 (Isabelle2016-1)
- http://isabelle.in.tum.de/cygwin_2017 (Isabelle2017)
- https://isabelle.sketis.net/cygwin_2018 (Isabelle2018)
- https://isabelle.sketis.net/cygwin_2019 (Isabelle2019)
+ - http://isabelle.in.tum.de/cygwin (Isabelle2012)
+ - http://isabelle.in.tum.de/cygwin_2013 (Isabelle2013)
+ - http://isabelle.in.tum.de/cygwin_2013-1 (Isabelle2013-1 and Isabelle2013-2)
+ - http://isabelle.in.tum.de/cygwin_2014 (Isabelle2014)
+ - http://isabelle.in.tum.de/cygwin_2015 (Isabelle2015)
+ - http://isabelle.in.tum.de/cygwin_2016 (Isabelle2016)
+ - http://isabelle.in.tum.de/cygwin_2016-1 (Isabelle2016-1)
+ - http://isabelle.in.tum.de/cygwin_2017 (Isabelle2017)
+ - https://isabelle.sketis.net/cygwin_2018 (Isabelle2018)
+ - https://isabelle.sketis.net/cygwin_2019 (Isabelle2019)
* Apache2 redirects for virtual host isabelle.conf:
+```
Redirect /cygwin/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/release
Redirect /cygwin_2013/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/release
Redirect /cygwin_2013-1/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/release
@@ -39,6 +40,7 @@
Redirect /cygwin_2019/x86/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release
Redirect /cygwin_2019/x86_64/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release
Redirect /cygwin_2019/noarch/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release
+```
* Quasi-component: "isabelle build_cygwin" (as Administrator)
@@ -47,15 +49,19 @@
- run Cygwin terminal as Administrator
- run ssh-host-config
-
+```
StrictMode: yes
privilege separation: yes
new local account 'sshd': yes
sshd as a service: yes
different name (than cyg_server): no
new privileged account cyg_server: yes
+```
- - mkpasswd -l > /etc/passwd
+ - user setup
+```
+ mkpasswd -l > /etc/passwd
mkgroup -l > /etc/group
passwd -R USER
+```