--- a/Admin/Windows/Cygwin/README Wed Oct 19 17:03:44 2016 +0200
+++ b/Admin/Windows/Cygwin/README Wed Oct 19 17:39:04 2016 +0200
@@ -16,3 +16,21 @@
http://isabelle.in.tum.de/cygwin_2016 (Isabelle2016-1)
* Quasi-component: "isabelle makedist_cygwin" (as administrator)
+
+* SSH server:
+
+ - 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
+ mkgroup -l > /etc/group
+
+ passwd -R USER