equal
deleted
inserted
replaced
869 """) |
869 """) |
870 |
870 |
871 Linux.service_install(ssh_name, |
871 Linux.service_install(ssh_name, |
872 """[Unit] |
872 """[Unit] |
873 Description=OpenBSD Secure Shell server for Isabelle/Phorge |
873 Description=OpenBSD Secure Shell server for Isabelle/Phorge |
874 After=network.target auditd.service isabelle-phabricator-phd.service |
874 After=network.target auditd.service ssh.service isabelle-phabricator-phd.service |
875 ConditionPathExists=!/etc/ssh/sshd_not_to_be_run |
875 ConditionPathExists=!/etc/ssh/sshd_not_to_be_run |
876 |
876 |
877 [Service] |
877 [Service] |
878 EnvironmentFile=-/etc/default/ssh |
878 EnvironmentFile=-/etc/default/ssh |
879 ExecStartPre=/usr/sbin/sshd -f """ + sshd_conf_server.implode + """ -t |
879 ExecStartPre=/usr/sbin/sshd -f """ + sshd_conf_server.implode + """ -t |