diff options
-rw-r--r-- | TODO | 1 | ||||
-rwxr-xr-x | bin/g-i-installation.sh | 2 |
2 files changed, 2 insertions, 1 deletions
@@ -73,6 +73,7 @@ See link:http://jenkins.debian.net/userContent/about.html["about jenkins.debian. ** scp -r vm:/var/log/ results/log ** ssh root@vm shutdown * use jigdo to download images - but no edu jigdo images. +* use https://wiki.jenkins-ci.org/display/JENKINS/Image+Gallery+Plugin * still havent got http://www.os-autoinst.org/ out of my mind == Add more tests diff --git a/bin/g-i-installation.sh b/bin/g-i-installation.sh index b69cb45d..9d662f66 100755 --- a/bin/g-i-installation.sh +++ b/bin/g-i-installation.sh @@ -75,7 +75,7 @@ cleanup_all() { ffmpeg2theora --videobitrate 700 --no-upscaling snapshot_%06d.ppm --framerate 12 --max_size 800x600 -o g-i-installation-$NAME.ogv rm snapshot_??????.ppm # rename .bak files back to .ppm - if [ -f *.ppm.bak ] ; then + if find . -name "*.ppm.bak" ; then for i in *.ppm.bak ; do echo mv -v $i ${i%.bak.ppm}.ppm mv -v $i ${i%.bak.ppm}.ppm |