Nummern hochzählen für Downloadmanager

[whatsmyname2009]

Hallo Leute,

ich will mit Wget File von einer URL runtersaugen, die
00000001.tif
00000002.tif
00000003.tif
usw heißen.

Wie kann ich eine Schleife machen, die die Ziffern hochzählt solange bis Schluss ist?

Gruss,
DS

[whatsmyname2009]

O.k., hab herausbekommen die Schleife geht mit

for in ; do; done

sed schmeisst Ziffern von-bis aus, aber wie kriegen ich die Ausgabe mit den führenden Nullen hin?

seq 00000001 00000010
1
2
3
4
5
6
7
8
9
10

Gruss,
DS

[Tintom]

Ich hab ein ähnliches Script, welches mir Bilder runterlädt. Ich hab es eben schnell angepasst, sollte funktionieren.

Code: Alles auswählen

#!/bin/bash
name=$1
n=1
while [ $n -ge 1 ]
do
echo "downloaden von $name"
wget -r $name${n}.tif
n=$((n+1))
done

Script kopieren in Lieblingseditor, als Datei speichern und ausführbar machen.

Aufruf mit

Code: Alles auswählen

./script /verzeichnis/wo/daten/liegen

[whatsmyname2009]

Danke für den superschnellen Tip, Tintom.

Ich hab's so gelöst (Grundgerüst):

for X in $(seq 1 940); do echo $(printf "%08d" $X); done

(940 Files in dem Verzeichnis)

Gruss,
DS