diff options
author | Holger Levsen <holger@layer-acht.org> | 2014-10-27 12:09:15 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2014-10-27 12:09:15 +0100 |
commit | c96be9dd9f3b9812ee054753d53170fa65eaa5c3 (patch) | |
tree | 7dd56930b6b381e86d4d8b95d142b5abe20fca59 | |
parent | 85598d22c9f5bb869dd10b627221c32b65b20bd5 (diff) | |
download | jenkins.debian.net-c96be9dd9f3b9812ee054753d53170fa65eaa5c3.tar.xz |
g-i-i: use consistent formatting
-rwxr-xr-x | bin/g-i-installation.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/g-i-installation.sh b/bin/g-i-installation.sh index e12d563f..907b51f5 100755 --- a/bin/g-i-installation.sh +++ b/bin/g-i-installation.sh @@ -295,7 +295,7 @@ backup_screenshot() { } do_and_report() { - echo "At $NR (token: $TOKEN) sending $@" + echo "$(date) $PRINTF_NR / $TOKEN - sending $@" # Workaround #758881: vncdo type command sending "e" chars sometimes not # received, sometimes received as if "e" key was kept pressed. if [ "$1" = "type" ]; then @@ -915,7 +915,7 @@ monitor_system() { convert $CONVERTOPTS snapshot_${PRINTF_NR}.jpg snapshot_${PRINTF_NR}.ppm rm snapshot_${PRINTF_NR}.jpg else - echo "$PRINTF_NR: $(date) - could not take vncsnapshot from $DISPLAY - using a blank fake one instead" + echo "$(date) $PRINTF_NR - could not take vncsnapshot from $DISPLAY - using a blank fake one instead" convert -size $VIDEOSIZE xc:none -depth 8 snapshot_${PRINTF_NR}.ppm fi # give signal we are still running |