¿Hay alguna manera de extraer el nombre del archivo de la ruta completa del archivo (parte de una ruta de archivo) sin la molestia de manipular la cadena?
El equivalente en Java sería:
File f = new File ("C:/some_dir/a")
f.getName() //output a
f.getFullAbsolutePath() //output c:/some_dir/a
basename()
, pero luego lo olvidé. Estas funciones deben mencionarse en la sección "Ver también" de las páginas de ayuda list.files y file.path .