pathtbuftools
pathbuftools is a small library that adds some helper methods which are useful when working with PathBufs.
This mostly usefuly when you're doing low-level stuff with files. I factored this library out of , so for the most part it contains stuff I needed there, plus a bit more I stopped using.
Available methods and their singatures are:
;
;
;
;
;
NOTE: short_path() removes the $HOME component of a Path and replaces it with ~, so "/home/foo/bar" becomes "~/bar".