Batch-File zur Konvertierung,Dateiendung im Parameter ändern

**benst**

Hallo,

ich möchte mit einem kleinen Batch-File (Stapelverarbeitungsdatei, *.bat) eine Konvertierung durchführen.
Dazu möchte ich den übergebenen Dateienamen (Parameter wird durch Drag-and-Drop auf Batch-File übergeben) einem Programm übergeben. Das Programm macht z.B. aus text.tex -> text.dvi . Im nächsten Schritt möchte ich text.dvi an ein anderes Programm übergeben.
Dazu muss ich von dem Parameter die Endung abschneiden und eine neue anfügen.

markieren

Code:

			verarbeitung1.exe %1  // (%1 ist der übergebene Parameter) aus z.B. %1 = "d:\text.tex"; dann wird aus text.tex text.dvi

verarbeitung2.exe ???%1???  // %1.div wäre ja falsch, weil %1.div = "d:\text.tex".div wäre (Anführungszeichen beachten!)

Ich hoffe, ich konnte meine Frage verständlich ausdrücken. Habe jetzt schon ziemlich lange gegooglet, aber bisher nichts entsprechendes gefunden.

Gruß
Ben

Batch-File zur Konvertierung,Dateiendung im Parameter ändern

Batch-File zur Konvertierung,Dateiendung im Parameter ändern

Forumregeln