summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--bin/g-i-installation.sh11
1 files changed, 7 insertions, 4 deletions
diff --git a/bin/g-i-installation.sh b/bin/g-i-installation.sh
index 435823ab..0c352b27 100644
--- a/bin/g-i-installation.sh
+++ b/bin/g-i-installation.sh
@@ -73,9 +73,11 @@ VIDEOBGCOLOR=gray10
fetch_if_newer() {
url="$2"
file="$1"
-
- curlopts="-L"
+ echo "Downloading $url"
+ curlopts="-L -s -S"
if [ -f "$file" ] ; then
+ Echo "$file exists, will only re-download if a newer one is available..."
+ ls $file
curlopts="$curlopts -z $file"
fi
curl $curlopts -o $file $url
@@ -118,8 +120,9 @@ cleanup_all() {
#
# create video
#
- ffmpeg2theora --videobitrate $VIDEOBITRATE --no-upscaling snapshot_%06d.ppm --framerate 12 --max_size $VIDEOSIZE -o g-i-installation-$NAME.ogv > /dev/null
- rm snapshot_??????.ppm
+ TMPFILE=$(mktemp)
+ ffmpeg2theora --videobitrate $VIDEOBITRATE --no-upscaling snapshot_%06d.ppm --framerate 12 --max_size $VIDEOSIZE -o g-i-installation-$NAME.ogv > $TMPFILE 2>&1 || cat $TMPFILE
+ rm snapshot_??????.ppm $TMPFILE
# rename .bak files back to .ppm
if find . -name "*.ppm.bak" > /dev/null ; then
for i in $(find * -name "*.ppm.bak") ; do