#!/bin/bash # update the central list of available planets, so we can include that # in our index.html.dj for everyone. cd /org/planet.debian.org/ echo '
  • Planet Debian
  • ' > templates/planets.html for lang in $(ls -1 languages/); do name=$(awk -F " = " '/name = / {print $2; exit}' config/config.ini.${lang}) link="http://planet.debian.org/${lang}/" echo "
  • ${name}
  • " >> templates/planets.html done