def path.extension

bend-kit-files@0.3.1.0 · files.bend:124

import Base

124# The text after the file name's last ".", without the dot. A leading dot
125# does not start one: ".bashrc" has none.
126def path.extension(p: String) -> String:
127  path.extension.go(List.reverse(&2, String, String.split(path.file_name(p), '.')))