diff --git a/Admin/MacOS/README b/Admin/MacOS/README --- a/Admin/MacOS/README +++ b/Admin/MacOS/README @@ -1,7 +1,7 @@ Isabelle/JVM application bundle for Mac OS X ============================================ * 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 diff --git a/Admin/Windows/Cygwin/README b/Admin/Windows/Cygwin/README --- a/Admin/Windows/Cygwin/README +++ b/Admin/Windows/Cygwin/README @@ -1,61 +1,67 @@ Cygwin ====== * https://www.cygwin.com/ * Mirror with many old versions (not setup.ini) 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 Redirect /cygwin_2013-1/x86/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release Redirect /cygwin_2014/x86/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release Redirect /cygwin_2015/x86/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release Redirect /cygwin_2015/x86_64/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release Redirect /cygwin_2016/x86/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release Redirect /cygwin_2016/x86_64/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release Redirect /cygwin_2016-1/x86/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release Redirect /cygwin_2016-1/noarch/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release Redirect /cygwin_2017/x86/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release Redirect /cygwin_2017/x86_64/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release Redirect /cygwin_2017/noarch/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release Redirect /cygwin_2018/x86/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release Redirect /cygwin_2018/x86_64/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release Redirect /cygwin_2018/noarch/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release 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) * 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 + - user setup +``` + mkpasswd -l > /etc/passwd mkgroup -l > /etc/group passwd -R USER +``` diff --git a/Admin/components/README b/Admin/components/README --- a/Admin/components/README +++ b/Admin/components/README @@ -1,78 +1,78 @@ Notes on maintaining the Isabelle component repository at TUM ============================================================= Quick reference --------------- * 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 * local setup (and test) of component directory, e.g. in screwdriver-3.14/ * packaging (with associated SHA1 digest), e.g. $ isabelle build_components screwdriver-3.14 * publishing, e.g. $ isabelle build_components -P screwdriver-3.14.tar.gz * manual editing of Admin/components/main: screwdriver-3.14 Unique names ------------ Component names are globally unique over time and space: names of published components are never re-used. If some component needs to be re-packaged, extra indices may be added to the official version number like this: screwdriver-3.14 #default packaging/publishing, no index screwdriver-3.14-1 #another refinement of the same screwdriver-3.14-2 #yet another refinement of the same There is no standard format for the structure of component names: they are compared for equality only, without any guess at an ordering. Components are registered in Admin/components/main (or similar) for use of that particular Isabelle repository version, subject to regular Mercurial history. This allows to bisect Isabelle versions with full record of the required components for testing. Authentic archives ------------------ Isabelle components are managed as authentic .tar.gz archives in /home/isabelle/components from where they are made publicly available on https://isabelle.in.tum.de/components/. Visibility on the HTTP server depends on local Unix file permission: 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).