| changeset 81723 | b5d329f7fe95 |
| parent 81720 | 12ecf11f8eab |
| child 81724 | ed5a05b06ee0 |
--- a/src/Pure/Tools/phabricator.scala Sat Jan 04 21:33:08 2025 +0100 +++ b/src/Pure/Tools/phabricator.scala Sat Jan 04 23:14:10 2025 +0100 @@ -777,6 +777,9 @@ /** setup ssh **/ + // see also https://we.phorge.it/book/phorge/article/diffusion_hosting/#sshd-setup + + /* sshd config */ private val Port = """^\s*Port\s+(\d+)\s*$""".r