Path utils
Detailed DescriptionFunction Documentation◆ pathjoin()
Join several filesystem paths together with the standard ':' delimiter. Note that this does NOT join path elements together with a platform-portable directory delimiter, cf. the Python References Rivet::join(). ◆ pathsplit()
Split a path string with colon delimiters. Ignores zero-length substrings. Designed for getting elements of filesystem paths, naturally. References Rivet::split(). Generated on Thu Feb 29 2024 15:46:47 for Rivet by 1.9.8 |