update-channels.sh

   1 #!/bin/sh
   2 channels="
   3         pear.firephp.org
   4         pear.phing.info
   5         pear.phpdb.org
   6         phpseclib.sourceforge.net
   7         pear.phpunit.de
   8         pear.symfony-project.com
   9         pear.roundcube.net
  10 "
  11 for channel in $channels; do
  12         url=http://$channel/channel.xml
  13         wget -q -O tmp.xml $url || continue
  14         alias=$(sed -nre 's,.*<suggestedalias>(.+)</suggestedalias>.*$,\1,p' tmp.xml)
  15         mv -f tmp.xml channel-$alias.xml
  16 done
  17
  18 rm -f tmp.xml