Re: [gentoo-user-de] Bash Scripten

[Renat Golubchyk]

Hi!

On Wed, 12 Oct 2005 00:43:10 +0200 Helge Kaltenbach <helge@×××××××.net>
wrote:
> Die Dateinamen fangen alle mit "ga" ; ist jährlich durchnummeriert ->
> "ga05" dann monat und tag..
> "ga050101.gif" für das Bild vom 1.1.05...
> Kann mir jemand unter die Arme greifen, wie ich das Script ausführen
> lasse, dass es per wget immer auf die gleiche "main url" zugreift,
> eben nur mit variierenden Dateinamen ?
> Der erste ist "ga000101", der letzte "ga991231.gif", also rein
> numerisch gesehen.
> Gibt Bilder von 1980 - 2005, jeden Monat, jeden Tag. Da ich aber
> nicht alle Bilder durchgetestet habe, sollte gegebenenfalls auch mal
> eine Nummernfolge ignoriert werden, wenn wget kein Erfolg hat.
>
> Weiß jemand Rat ?

Ich gehe zwar jetzt schlafen, aber einen Shell-Script schreiben tue ich
immer gerne :-) 

----------------------------------------------------------
#!/bin/bash

URL="http://www.irgendwo.de/pfad/zum/bild/"

STARTJAHR=1980
ENDJAHR=2005

for (( jahr=${STARTJAHR} ; ${jahr}<=${ENDJAHR} ; jahr++ ))
do
  for (( monat=1 ; ${monat}<=12 ; monat++ ))
  do
    for (( tag=1 ; ${tag}<=31 ; tag++ ))
    do
      # Datum zusammenbasteln
      datum=`date -d "${jahr}-${monat}-${tag}" "+%y%m%d" 2>/dev/null`
      # Falls es keinen solchen Datum gibt, z.B. 31. Februar, tue nichts
      if [[ "T${datum}" != "T" ]]
      then
        bild="ga${datum}.gif"
        #wget "${URL}${bild}"
        echo "${bild}"
      fi
    done
  done
done
----------------------------------------------------------

Der Script gibt nur die Dateinamen aus. Wenn du die Dateien runterladen
willst, kommentiere die entsprechende Zeile wieder aus ;-)


Gruß,
Renat

-- 
Probleme kann man niemals mit derselben Denkweise loesen,
durch die sie entstanden sind.
                                              (Einstein)