Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

file+noindex, absolute paths and Windows #7065

Open
phadej opened this issue Sep 13, 2020 · 0 comments
Open

file+noindex, absolute paths and Windows #7065

phadej opened this issue Sep 13, 2020 · 0 comments

Comments

@phadej
Copy link
Collaborator

phadej commented Sep 13, 2020

file://C:\foo\repo is not a valid URI.

EDIT:

Prelude Network.URI> parseURI "file+noindex:///?/hello/world/"
Just file+noindex:///?/hello/world/

Prelude System.FilePath.Windows> normalise "//?/hello/world/"
"\\\\?\\hello\\world\\"

seems to work. Have to be more careful in encoding / decoding paths for file+noindex URIs, so maybe then it will work.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants