filenames – Tarik Billa

Do dotfiles have a file extension?

August 3, 2023 by Tarik

You pays your money and you takes your pick: Yes, No, Maybe. It comes down to your definition of ‘extension’. Is it “anything after the last dot in the name”? If so, those files have no name and are all extension. Is it “anything after a dot that isn’t the first character in the name”? … Read more

Flutter: Get the filename of a File

February 14, 2023 by Tarik

You can use the basename function from the dart path library: import ‘package:path/path.dart’; File file = new File(“/dir1/dir2/file.ext”); String basename = basename(file.path); # file.ext