hundreds-father-404
07/13/2020, 8:55 PM:
, then we know it’s a target address.
Otherwise, we don’t know how to distinguish between the address shorthand of leaving off :foo
when the parent directory is foo/
. It’s not reliable to look for a file extension, because not all files have it and dirs can have them. We can’t call Path.is_file()
because that’s not engine safe, afacit.hundreds-father-404
07/13/2020, 8:57 PM:
is there, it’s an address.
2. if there’s a file suffix, assume it’s a file.
3. Finally, call Path.is_file()
witty-crayon-22786
07/13/2020, 9:06 PMwitty-crayon-22786
07/13/2020, 9:07 PMwitty-crayon-22786
07/13/2020, 9:20 PMhundreds-father-404
07/13/2020, 9:35 PMwitty-crayon-22786
07/13/2020, 9:39 PMwitty-crayon-22786
07/13/2020, 9:39 PMhundreds-father-404
07/13/2020, 9:44 PM