diff options
Diffstat (limited to 'hosts/jenkins')
| -rwxr-xr-x | hosts/jenkins/etc/rc.local | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/hosts/jenkins/etc/rc.local b/hosts/jenkins/etc/rc.local index 1eac9049..9493d09d 100755 --- a/hosts/jenkins/etc/rc.local +++ b/hosts/jenkins/etc/rc.local @@ -11,6 +11,6 @@ # # By default this script does nothing. -echo "$(date) - system was rebooted" | mail -s "jenkins.d.n rebooted" root +echo "$(date) - system was rebooted" | mail -s "$(hostname -f) rebooted" root exit 0 |