--- a/Admin/Windows/Cygwin/README Tue Apr 23 15:56:04 2024 +0200
+++ b/Admin/Windows/Cygwin/README Tue Apr 23 15:57:03 2024 +0200
@@ -71,11 +71,6 @@
- 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
```
- user setup
@@ -85,3 +80,8 @@
passwd -R USER
```
+
+ - firewall
+```
+ netsh advfirewall firewall add rule name="Open SSH Port 22" dir=in action=allow protocol=TCP localport=22 remoteip=any
+```
--- a/Admin/polyml/INSTALL-MinGW Tue Apr 23 15:56:04 2024 +0200
+++ b/Admin/polyml/INSTALL-MinGW Tue Apr 23 15:57:03 2024 +0200
@@ -14,7 +14,7 @@
pacman -S --needed --noconfirm base-devel gmp-devel mingw-w64-x86_64-toolchain mingw-w64-x86_64-gmp mingw-w64-x86_64-lapack mingw-w64-x86_64-openblas
-- build (as regular user) e.g. on vmnipkow9 with Cygwin-Terminal from Isabelle2018
+- build (as regular user) e.g. with Cygwin-Terminal from Isabelle2018
(to avoid address relocation problems):
isabelle component_polyml -M /cygdrive/c/msys64