get_file_name

Definition: string filename = get_file_name(string path)
Description: Extract the file name portion of a filepath.

path: the filepath from which to extract information.

Returns a string, the file name part of path.
Comments: Uses get_proper_path(), so on Windows if the file exists the case of the result will match the actual file.

Both forwardslash ('/') and backslash ('\\') are handled for all platforms.
Example:
?get_file_name("C:/Program Files (x86)/Phix/builtins/vm/papnd.e")   -- displays "pApnd.e"
See Also: get_proper_path, get_file_base, get_file_extension