?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
simplify API device list
[mygpo.git] / bin / update-index
blobf6fec8aaae609c82d86552e6dfa2b6d8f3b9c019
1 #!/bin/sh
2 # Update the Haystack Search Index
3
4 MYGPO_HOME=`dirname $0`/../
5
6 (cd $MYGPO_HOME/mygpo && exec ./manage.py update_index)
7
gpodder.net is a webservice that connects podcast players