Superuser

Autor Thema: Filenamen  (Gelesen 1816 mal)

Malakim

  • Gast
Filenamen
« am: 18. Mai 2003, 21:05:25 »
Moin,
kann mir jemand helfen ? Ist eigentlich ein ganz triviales Problem:

Ich habe einen Ordner mit den Files Track01.mp3 ...  Track12.mp3
nun möchte ich in einem Rutsch die Files Umbenennen und zwar in:
Queen01.mp3... Queen12.mp3

dafür gibts doch sicherlich einen schicken Befehl oder ??

- Elmar
« Letzte Änderung: 18. Mai 2003, 21:06:27 von Malakim »

mood-indigo.org - Das unabhängige Silicon Graphics User Forum

Filenamen
« am: 18. Mai 2003, 21:05:25 »

msalfer

  • Gast
Re: Filenamen
« Antwort #1 am: 18. Mai 2003, 23:14:08 »
in der Bash:


for datei in Track*.mp3 ;do mv $datei `echo $datei | sed "s/Track/Queen/" ` ; done


Geht sicher auch kürzer und/oder schöner, aber es sollte funktionieren. Man muss beim eingeben vorallem auf die Backquotes aufpassen!