update-channels.sh

   1 #!/bin/sh
   2 channels="
   3         components.ez.no
   4         pear.docblox-project.org
   5         pear.firephp.org
   6         pear.horde.org
   7         pear.michelf.com
   8         pear.pdepend.org
   9         pear.phing.info
  10         pear.phpdb.org
  11         pear.phpmd.org
  12         pear.phpunit.de
  13         pear.propelorm.org
  14         pear.roundcube.net
  15         pear.symfony-project.com
  16         pear.symfony.com
  17         phpseclib.sourceforge.net
  18         saucelabs.github.com/pear
  19 "
  20 for channel in $channels; do
  21         url=http://$channel/channel.xml
  22         wget -q --timeout=10 --tries=1 -O tmp.xml $url || continue
  23         alias=$(sed -nre 's,.*<suggestedalias>(.+)</suggestedalias>.*$,\1,p' tmp.xml)
  24         sed -i -e 's,\r$,,g; s,\r,\n,g' tmp.xml
  25         mv -f tmp.xml channel-$alias.xml
  26 done
  27
  28 rm -f tmp.xml