--- a/Admin/MacOS/README Sun Dec 22 15:53:54 2019 +0100
+++ b/Admin/MacOS/README Sun Dec 22 16:12:13 2019 +0100
@@ -3,5 +3,5 @@
* http://java.net/projects/appbundler
- see appbundler-1.0.jar
- see com/oracle/appbundler/JavaAppLauncher
+ - see appbundler-1.0.jar
+ - see com/oracle/appbundler/JavaAppLauncher
--- 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
+```
--- a/Admin/components/README Sun Dec 22 15:53:54 2019 +0100
+++ b/Admin/components/README Sun Dec 22 16:12:13 2019 +0100
@@ -5,7 +5,7 @@
---------------
* ensure that Isabelle/Scala/SSH can connect to the host specified via
- system option "isabelle_components_server"; this may require to install
+ system option `isabelle_components_server`; this may require to install
an unencrypted ssh host key as follows:
$ ssh-keyscan -t rsa lxbroy10.informatik.tu-muenchen.de >> ~/.ssh/known_hosts
@@ -57,22 +57,22 @@
nonfree components should omit "read" mode for the Unix group/other;
regular components should be world-readable.
-The file Admin/components/components.sha1 contains SHA1 identifiers
+The file `Admin/components/components.sha1` contains SHA1 identifiers
within the Isabelle repository, for integrity checking of the archives
that are exposed to the public file-system. The command-line tool
-"isabelle build_components" maintains these hash-keys automatically.
+`isabelle build_components` maintains these hash-keys automatically.
Unpacked copy
-------------
-A second unpacked copy is provided in /home/isabelle/contrib/. This allows
+A second unpacked copy is provided in `/home/isabelle/contrib/`. This allows
users and administrative services within the TUM network to activate arbitrary
snapshots of the repository with all standard components being available,
without extra copying or unpacking of the authentic archives. The
isabelle_cronjob does this routinely: it will break if the unpacked version is
omitted.
-The command-line tool "isabelle build_components -P" takes care of uploading
+The command-line tool `isabelle build_components -P` takes care of uploading
the .tar.gz archive and unpacking it, unless it is a special component (e.g.
for multiplatform application bundling).