diff options
author | Holger Levsen <holger@layer-acht.org> | 2014-04-24 18:55:32 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2014-04-24 18:55:32 +0200 |
commit | b2e4de4a01d10861b6bf81adab7b903c6cc9f5c2 (patch) | |
tree | 7109c403f3e794b70bab064a678bb493bff854dc /bin | |
parent | 6f160465362634dd9a77cce70d8507a65503be66 (diff) | |
download | jenkins.debian.net-b2e4de4a01d10861b6bf81adab7b903c6cc9f5c2.tar.xz |
g-i: be somewhat more verbose
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/g-i-installation.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/g-i-installation.sh b/bin/g-i-installation.sh index 77074949..a4143deb 100755 --- a/bin/g-i-installation.sh +++ b/bin/g-i-installation.sh @@ -805,6 +805,7 @@ monitor_system() { echo "could not take vncsnapshot from $DISPLAY, lets try again..." let NR=NR-1 PRINTF_NR=$(printf "%06d" $NR) + echo "$PRINTF_NR: $(date)" fi # give signal we are still running if [ $(($NR % 14)) -eq 0 ] ; then |