title: Find file name from full file path
body: <p>Is there a way to extract the file name from the file full path (part of a file path) without the hassle of manipulating string?</p>
  
  <p>The equivalent in Java would be:</p>
  
  <pre><code>File f = new File ("C:/some_dir/a")
  f.getName() //output a
  f.getFullAbsolutePath() //output c:/some_dir/a
  </code></pre>