basename
Version vom 6. Februar 2009, 15:59 Uhr von Michi (Diskussion | Beiträge) (Die Seite wurde neu angelegt: Der Shell-Befehl <b>basename</b> entfernt Pfad (bis zum letzten Schrägstrich) und Endung vom Namen einer Datei. == Verwendung == Aus der Pfadangabe "/backup/...)
Der Shell-Befehl basename entfernt Pfad (bis zum letzten Schrägstrich) und Endung vom Namen einer Datei.
Verwendung
Aus der Pfadangabe "/backup/software/file" wird der Pfad entfernt. Ausgabe ist "file".
$ basename /backup/software/file
Aus der Pfadangabe "/backup/software/file.txt" wird der Pfad und die Dateiendung entfernt. Ausgabe ist "file".
$ basename /backup/software/file .txt
Vom Dateinamen "file.wav" wird die Endung ".wav" entfernt und an den verbleibenden Dateinamen "file" die Endung ".mp3" angehängt.
$ echo "$(basename file.wav .wav).mp3"