File operations
find_file paths exts
Find a file among all provided paths
, trying
various extensiosn exts
. Return the first combination of paths
and exts
.
Find real filename of an executable.
Copy a file.
mkdir_parent f tgt
Create a directory and its parent, call f with
directory name created, in order.
Expand a filename containing '*.ext' into corresponding real files.
Test file existence, considering case even on case insensitive filesystem.