Function |file_name

fs/path::|file_name


Usage

|file_name(path)

Parameters

โ†ณ path: string

Return

โ†ด Option<string>


Gives file name.

Return the full name of the file (bin for /usr/bin/, bar.txt for foo/bar.txt, etc for etc/./, empty for /).

If the path is a normal file, this is the file name. If it's the path of a directory, this is the directory name.

Returns none if the path terminates in ...