#!/bin/bash

wget -O- 'http://www.news.software.coop/author/news/feed/rdf/' > all.rss || ( echo failed 2>&1 ; exit 127 )

sed -e 's|\(channel rdf:about="\)[^"]*"|\1http://www.news.software.coop/author/news/feed/rdf/"|' all.rss > all.rss.sed && mv all.rss.sed all.rss

if ! grep -Fq "$(cat all.stat)" all.rss ; then
  cp -v all.rss ext/all-$(date -I).rss
  sed -n -e '/rdf:li/{;p;q;}' all.rss >all.stat
fi