--- a/Admin/components/README Wed Sep 14 17:32:56 2022 +0200
+++ b/Admin/components/README Wed Sep 14 17:35:38 2022 +0200
@@ -4,12 +4,6 @@
Quick reference
---------------
- * ensure that Isabelle/Scala/SSH can connect to the host specified via
- 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/
--- a/Admin/cronjob/README Wed Sep 14 17:32:56 2022 +0200
+++ b/Admin/cronjob/README Wed Sep 14 17:35:38 2022 +0200
@@ -29,10 +29,6 @@
- special user account:
useradd -m -s /bin/bash isatest
-- SSH access for jsch (on each client):
- LOCALHOST$ ssh-keyscan -t rsa DBSERVER
- >> ~/.ssh/known_hosts
-
- PostgreSQL:
$ apt install postgresql