diff options
-rwxr-xr-x | update_jdn.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/update_jdn.sh b/update_jdn.sh index 5ecb9744..d0351c10 100755 --- a/update_jdn.sh +++ b/update_jdn.sh @@ -522,6 +522,7 @@ sudo cp --preserve=mode,timestamps -r hosts/$HOSTNAME/usr/* /usr/ # sudo chown root.root /etc/sudoers.d/jenkins ; sudo chmod 700 /etc/sudoers.d/jenkins sudo chown root.root /etc/sudoers.d/jenkins-adm ; sudo chmod 700 /etc/sudoers.d/jenkins-adm +[ -f /etc/mailname ] || ( echo $HOSTNAME.debian.net | sudo tee /etc/mailname ) if [ "$HOSTNAME" = "jenkins" ] ; then if [ $BASEDIR/hosts/$HOSTNAME/etc/apache2 -nt $STAMP ] || [ ! -f $STAMP ] ; then |