Batch - String suchen und ersetzen

[Frank T.]

Hallo ihr Gurus ^^

ich benötige mal die Hilfe von euch.

Ich habe ein Batch-File, welches eine Datei mittels wget laden soll.
Dieser Batch-Datei wird eine Adresse übergeben, wo die Datei liegt (ist alles lokal).
Die Adresse ist aber nicht korrekt und muss angepasst werden.
(Nein, von wo aus die Adresse zusammengebaut wird, kann der Teil kann im Moment nicht geändert werden).

Ich gebe euch mal ein Bsp.

Folgende Adresse wird übergeben:
http://host/pfad1/pfad2/999900466/M999900466332.eml

Jetzt muss daraus aber
http://host/pfad1/pfad2/99990046/M999900466332.eml
werden.

Sprich, bei dem Pfad mit den Zahlen (3ter Unterordner), muss die letzte Stelle weg.

Hab schon bei Google geschaut, aber nirgends find ich etwas, was mir weiter hilft. Bin leider auch nicht der fitteste in der Batch-Programmierung.

Wäre klasse, wenn ihr mir helfen könnt.

Mfg

Frank

[Vinzenz Mai]

Hallo

Ich habe ein Batch-File, welches eine Datei mittels wget laden soll.
Dieser Batch-Datei wird eine Adresse übergeben, wo die Datei liegt (ist alles lokal).

du sprichst von Batch, daher vermute ich, dass Du unter Windows arbeitest.

Die Adresse ist aber nicht korrekt und muss angepasst werden.
(Nein, von wo aus die Adresse zusammengebaut wird, kann der Teil kann im Moment nicht geändert werden).

Zeichenkettenverarbeitung ist keine Stärke von CMD.EXE.

http://host/pfad1/pfad2/999900466/M999900466332.eml
Jetzt muss daraus aber
http://host/pfad1/pfad2/99990046/M999900466332.eml
werden.

Ich würde Dir dazu raten, diese Verarbeitung (und ggf. den Aufruf von wget)
über den Windows Scripting Host vorzunehmen. Für JScript und VB-Script, die
beiden standardmäßig vorhandenen Skriptsprachen ist das kein Problem.

Freundliche Grüße

Vinzenz