# HG changeset patch
# User wenzelm
# Date 1663169738 -7200
# Node ID bf9f2f4069b90931f18dd03a4930e9b984675fac
# Parent  a95196ef33f0d3107949958581b0056ead5fd4e7
obsolete;

diff -r a95196ef33f0 -r bf9f2f4069b9 Admin/components/README
--- 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/
diff -r a95196ef33f0 -r bf9f2f4069b9 Admin/cronjob/README
--- 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