equal
deleted
inserted
replaced
1 Notes on maintaining the Isabelle component repository at TUM |
1 Notes on maintaining the Isabelle component repository at TUM |
2 ============================================================= |
2 ============================================================= |
3 |
3 |
4 Quick reference |
4 Quick reference |
5 --------------- |
5 --------------- |
6 |
|
7 * ensure that Isabelle/Scala/SSH can connect to the host specified via |
|
8 system option `isabelle_components_server`; this may require to install |
|
9 an unencrypted ssh host key as follows: |
|
10 |
|
11 $ ssh-keyscan -t rsa lxbroy10.informatik.tu-muenchen.de >> ~/.ssh/known_hosts |
|
12 |
6 |
13 * local setup (and test) of component directory, e.g. in |
7 * local setup (and test) of component directory, e.g. in |
14 |
8 |
15 screwdriver-3.14/ |
9 screwdriver-3.14/ |
16 |
10 |