Existe-t-il un moyen d'extraire le nom du fichier du chemin complet du fichier (faisant partie d'un chemin de fichier) sans avoir à manipuler la chaîne?
L'équivalent en Java serait:
File f = new File ("C:/some_dir/a")
f.getName() //output a
f.getFullAbsolutePath() //output c:/some_dir/a
basename()
, mais j'ai oublié. Ces fonctions doivent être mentionnées dans la section "Voir aussi" des pages d'aide list.files et file.path .