]> git.deb.at Git - deb/hackedgotchi.git/blob - cron/15planets
Edited Andrea Veri's feed URL
[deb/hackedgotchi.git] / cron / 15planets
1 #!/bin/bash
2
3 # update the central list of available planets, so we can include that
4 # in our index.html.dj for everyone.
5
6 cd /org/planet.debian.org/
7
8 echo '<li><a href="http://planet.debian.org/">Planet Debian</a></li>' > templates/planets.html
9
10 for lang in $(ls -1 languages/); do
11         name=$(awk -F " = " '/name = / {print $2; exit}' config/config.ini.${lang})
12         link="http://planet.debian.org/${lang}/"
13         echo "<li><a href=\"${link}\">${name}</a></li>" >> templates/planets.html
14 done