basename: Unterschied zwischen den Versionen
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/...) |
Michi (Diskussion | Beiträge) |
||
Zeile 3: | Zeile 3: | ||
== Verwendung == | == Verwendung == | ||
− | Aus der Pfadangabe "/backup/software/ | + | Aus der Pfadangabe "/backup/software/datei" wird der Pfad entfernt. Ausgabe ist "datei". |
− | $ <b>basename /backup/software/ | + | $ <b>basename /backup/software/datei</b> |
+ | datei | ||
− | Aus der Pfadangabe "/backup/software/ | + | Aus der Pfadangabe "/backup/software/datei.txt" wird der Pfad und die Dateiendung entfernt. Ausgabe ist "datei". |
− | $ <b>basename /backup/software/ | + | $ <b>basename /backup/software/datei.txt .txt</b> |
+ | datei | ||
− | Vom Dateinamen " | + | Vom Dateinamen "datei.wav" wird die Endung ".wav" entfernt und an den verbleibenden Dateinamen "datei" die Endung ".mp3" angehängt. |
− | $ <b>echo "$(basename | + | $ <b>echo "$(basename datei.wav .wav).mp3"</b> |
+ | datei.mp3 | ||
{{cat|Datei}} | {{cat|Datei}} | ||
{{cat|Shell-Befehl}} | {{cat|Shell-Befehl}} |
Aktuelle Version vom 29. Juni 2020, 14:55 Uhr
Der Shell-Befehl basename entfernt Pfad (bis zum letzten Schrägstrich) und Endung vom Namen einer Datei.
Verwendung
Aus der Pfadangabe "/backup/software/datei" wird der Pfad entfernt. Ausgabe ist "datei".
$ basename /backup/software/datei datei
Aus der Pfadangabe "/backup/software/datei.txt" wird der Pfad und die Dateiendung entfernt. Ausgabe ist "datei".
$ basename /backup/software/datei.txt .txt datei
Vom Dateinamen "datei.wav" wird die Endung ".wav" entfernt und an den verbleibenden Dateinamen "datei" die Endung ".mp3" angehängt.
$ echo "$(basename datei.wav .wav).mp3" datei.mp3