On Wed, May 02, 2001 at 08:57:04PM +0200, eichhorn wrote:
Ich will aus "*.agr"-Files (grace) "*.eps"-Files machen und dazu grace im batch-mode benutzen.
Wegen der vielen Optionen schreibe ich ein skript (wie elegant) mit den Eingabedateien als Parameter.
Wie muss mein shell-skript nun aussehen, damit:
- die Endung der Ausgabedatei "eps" wird (wie kann ich also von der
eingabevariablen die letzten vier zeichen abtrennen)
und viel wichtiger
- beim benutzen von wildcards das skript nicht nur die erste datei
bearbeitet und dann aufhoert :--(
Du kannst mit einer for-schleife über alle Files mit namen *.agr iterieren. Folgendes Skript gibt einfach die Namen aller .agr-files aus:
#!/bin/bash for i in *.agr ; do echo "$i" done
Umbenennen aller *.agr in *.eps geht so:
#!/bin/bash for i in *.agr ; do mv "$i" "${i%.agr}.eps" done
(womit auch das Abschneiden der Endung geklärt wäre)
Mit den zwei Beispielen und "man bash" sollte sich dein Problem leicht lösen lassen.
Reinhard