src/Pure/Tools/phabricator.scala
changeset 81723 b5d329f7fe95
parent 81720 12ecf11f8eab
child 81724 ed5a05b06ee0
equal deleted inserted replaced
81720:12ecf11f8eab 81723:b5d329f7fe95
   774       })
   774       })
   775 
   775 
   776 
   776 
   777 
   777 
   778   /** setup ssh **/
   778   /** setup ssh **/
       
   779 
       
   780   // see also https://we.phorge.it/book/phorge/article/diffusion_hosting/#sshd-setup
       
   781 
   779 
   782 
   780   /* sshd config */
   783   /* sshd config */
   781 
   784 
   782   private val Port = """^\s*Port\s+(\d+)\s*$""".r
   785   private val Port = """^\s*Port\s+(\d+)\s*$""".r
   783   private val No_Port = """^#\s*Port\b.*$""".r
   786   private val No_Port = """^#\s*Port\b.*$""".r