Is there a way to split a path
[ "a", "B", "c.txt" ]?
I could call
Base.Filesystem.splitdir() in a loop until the first element is the empty string, but that seems wasteful. I could call
split( "a/b/c.txt", Base.Filesystem.path_separator ), but
Base.Filesystem.path_separator is undocumented.
In practice, I want to check if the first directory in the path is “…”.