diff options
Diffstat (limited to 'bin/parse_d-i_logs.sh')
-rwxr-xr-x | bin/parse_d-i_logs.sh | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/bin/parse_d-i_logs.sh b/bin/parse_d-i_logs.sh deleted file mode 100755 index e833601d..00000000 --- a/bin/parse_d-i_logs.sh +++ /dev/null @@ -1,33 +0,0 @@ -#!/bin/bash - -# Copyright 2012 Holger Levsen <holger@layer-acht.org> -# released under the GPLv=2 - -# $1 = URL - -if [ "$1" == "" ] ; then - echo "need at least one URL to act on" - echo '# $1 = URL' - exit 1 -fi - -#set -x -set -e -export LANG=C -export http_proxy="http://localhost:3128" - -TMPFILE=$(mktemp) -curl $1 > $TMPFILE -grep failed $TMPFILE > /dev/null && { - figlet Warning: - figlet failed builds: - for FILE in $(grep failed $TMPFILE | awk '{print $2}' FS=href= | cut -d '"' -f2) ; do - echo Warning: $FILE failed - done -} || figlet ok -echo -echo Check $1 yourself -echo - -sed -i -s 's#<img src="#<img src="http://d-i.debian.org/daily-images/#g' $TMPFILE -mv $TMPFILE $(basename $1) |