# HG changeset patch
# User wenzelm
# Date 1476891544 -7200
# Node ID 1c7b77286ed0deb92d2ad67df73957f907780961
# Parent  3d5e7719e878e6eb70b9e4f6c3cc93ec0437c6a3
basic SSH server configuration;

diff -r 3d5e7719e878 -r 1c7b77286ed0 Admin/Windows/Cygwin/README
--- 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