basename: Unterschied zwischen den Versionen

Aktuelle Version vom 29. Juni 2020, 12:55 Uhr

Der Shell-Befehl basename entfernt Pfad (bis zum letzten Schrägstrich) und Endung vom Namen einer Datei.

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

@@ Zeile 3: / Zeile 3: @@
 == Verwendung ==
-Aus der Pfadangabe "/backup/software/file" wird der Pfad entfernt. Ausgabe ist "file".
+Aus der Pfadangabe "/backup/software/datei" wird der Pfad entfernt. Ausgabe ist "datei".
-  $ <b>basename /backup/software/file</b>
+  $ <b>basename /backup/software/datei</b>
+ datei
-Aus der Pfadangabe "/backup/software/file.txt" wird der Pfad und die Dateiendung entfernt. Ausgabe ist "file".
+Aus der Pfadangabe "/backup/software/datei.txt" wird der Pfad und die Dateiendung entfernt. Ausgabe ist "datei".
-  $ <b>basename /backup/software/file .txt</b>
+  $ <b>basename /backup/software/datei.txt .txt</b>
+ datei
-Vom Dateinamen "file.wav" wird die Endung ".wav" entfernt und an den verbleibenden Dateinamen "file" die Endung ".mp3" angehängt.
+Vom Dateinamen "datei.wav" wird die Endung ".wav" entfernt und an den verbleibenden Dateinamen "datei" die Endung ".mp3" angehängt.
-  $ <b>echo "$(basename file.wav .wav).mp3"</b>
+  $ <b>echo "$(basename datei.wav .wav).mp3"</b>
+ datei.mp3
 {{cat|Datei}}
 {{cat|Shell-Befehl}}