Am Mittwoch, 1. März 2006 13:05 schrieb Stefan Kühn:
nicht gibt, dann wäre eine
#!/bin/bash URL=http://download.wikimedia.org/dewiki/latest/dewiki-latest-pages-articles.xml... DATEFILE=.dewiki-latest-pages-articles.xml.bz2.lastmodified SERVERDATE=`curl --silent --head $URL | grep "Last-Modified:"` LOCALDATE=`cat $DATEFILE 2> /dev/null` if [ "$LOCALDATE" != "$SERVERDATE" ]; then echo $SERVERDATE > $DATEFILE wget --no-verbose $URL # .. weitere Befehle (extrahieren, in die Datenbank einfügen, etc....) fi