From db0d5279d766d0add399919d5f1ab0415eeda476 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Elan=20Ruusam=C3=A4e?= Date: Sun, 19 Apr 2015 14:57:06 +0300 Subject: [PATCH] fetch also feeds (don't remember why anymore) --- update-channels.sh | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) diff --git a/update-channels.sh b/update-channels.sh index 27bd5f4..a1bc4b7 100755 --- a/update-channels.sh +++ b/update-channels.sh @@ -22,12 +22,23 @@ channels=" saucelabs.github.com/pear zustellzentrum.cweiske.de " + +fetch() { + local url="$1" + local target="$2" + wget -q --timeout=10 --tries=1 ${target:+-O "$target"} "$url" +} + for channel in ${@:-$channels}; do url=http://$channel/channel.xml - wget -q --timeout=10 --tries=1 -O tmp.xml $url || continue + fetch $url tmp.xml || continue alias=$(sed -nre 's,.*(.+).*$,\1,p' tmp.xml) sed -i -e 's,\r$,,g; s,\r,\n,g' tmp.xml mv -f tmp.xml channel-$alias.xml + + url=http://$channel/feed.xml + fetch $url tmp.xml || continue + mv -f tmp.xml feed-$alias.xml done rm -f tmp.xml -- 2.44.0