diff options
| -rwxr-xr-x | update_jdn.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/update_jdn.sh b/update_jdn.sh index 8c10e747..3b6126f7 100755 --- a/update_jdn.sh +++ b/update_jdn.sh @@ -101,10 +101,16 @@ $UP2DATE || for user in ${users}; do fi done +# change defaults $UP2DATE || grep -q '^AuthorizedKeysFile' /etc/ssh/sshd_config || { sudo sh -c "echo 'AuthorizedKeysFile /var/lib/misc/userkeys/%u %h/.ssh/authorized_keys' >> /etc/ssh/sshd_config" sudo service ssh reload } +# change vagrants manual configuration on some armhf hosts +$UP2DATE || grep -q '/var/lib/misc/userkeys' /etc/ssh/sshd_config || { + sudo sed -i "s#/var/lib/monkeysphere/authorized_keys/#/var/lib/misc/userkeys/#g" /etc/ssh/sshd_config + sudo service ssh reload +} sudo mkdir -p /srv/workspace [ -d /srv/schroots ] || sudo mkdir -p /srv/schroots |