Gibt es eine Möglichkeit, den Dateinamen aus dem vollständigen Dateipfad (Teil eines Dateipfads) zu extrahieren, ohne die Zeichenfolge mühsam bearbeiten zu müssen?
Das Äquivalent in Java wäre:
File f = new File ("C:/some_dir/a")
f.getName() //output a
f.getFullAbsolutePath() //output c:/some_dir/a
basename()
, aber dann habe ich es vergessen. Diese Funktionen sollten im Abschnitt "Siehe auch" der Hilfeseiten list.files und file.path erwähnt werden .