You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Hello! I've been trying to use this to support making apps based on JSServe, see SimonDanisch/Bonito.jl#117.
I would like to just compute the extension of a file stored as a RelocatableFolders.Path, without triggering the string conversion logic. I've found that getroot does exactly that (see here), but it seems to be an internal function. Could it become part of the API?
The text was updated successfully, but these errors were encountered:
Hello! I've been trying to use this to support making apps based on JSServe, see SimonDanisch/Bonito.jl#117.
I would like to just compute the extension of a file stored as a
RelocatableFolders.Path
, without triggering the string conversion logic. I've found thatgetroot
does exactly that (see here), but it seems to be an internal function. Could it become part of the API?The text was updated successfully, but these errors were encountered: