FileExtension¶ Returns the filename extension (without the leading dot). $ wo 'FileExtension["/path/to/file.txt"]' txt