Browse Source

checklinks: Ignorujeme, že wget neskončí úspěšně

export_seznamu_prednasek
Pavel "LEdoian" Turinsky 3 years ago
parent
commit
542ae6b7ef
  1. 2
      checklinks.sh

2
checklinks.sh

@ -12,7 +12,7 @@ logfile="$(pwd)/wget.log.$(date +%FT%T)"
tmp=$(mktemp --directory) tmp=$(mktemp --directory)
cd "$tmp" cd "$tmp"
wget --spider -o "$logfile" -r -p -X '/soustredeni/*/fotogalerie/' "$@" wget --spider -o "$logfile" -r -p -X '/soustredeni/*/fotogalerie/' "$@" || true # wget nejspíš skončí s chybou, že něco nestáhl…
echo "Result: (a last few lines of the file $logfile)" echo "Result: (a last few lines of the file $logfile)"
sed -ne '/^Found [0-9]* broken links/,$ p' "$logfile" sed -ne '/^Found [0-9]* broken links/,$ p' "$logfile"

Loading…
Cancel
Save