diff options
| author |  guilhem <guilhem@fripost.org> | 2013-08-19 04:31:28 +0200 |
|---|---|---|
| committer |  Joey Hess <joey@kitenet.net> | 2013-08-22 11:33:16 -0400 |
| commit | 6f5c5be73abc52ea275e85709cf97d8acacf388e (patch) | |
| tree | 08a8e71cd1e58a0b1b6079b79004a8f1f0112c68 | |
| parent | f7940faaa3ce2b45222f4a58406f00d21a996b35 (diff) | |
Unescape characters in 'file://...' URIs.
That allows, in Git remotes, such URIs to contain spaces or UTF-8
characters. Closes http://git-annex.branchable.com/bugs/Unable_to_use_remotes_with_space_in_the_path/ .
| -rw-r--r-- | Git/Construct.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Git/Construct.hs b/Git/Construct.hs index 586fa8c03..35c77e9d2 100644 --- a/Git/Construct.hs +++ b/Git/Construct.hs @@ -91,7 +91,7 @@ fromUrl url fromUrlStrict :: String -> IO Repo fromUrlStrict url - | startswith "file://" url = fromAbsPath $ uriPath u + | startswith "file://" url = fromAbsPath $ unEscapeString $ uriPath u | otherwise = newFrom $ Url u where u = fromMaybe bad $ parseURI url |