2011-12-14 19:30:14 +00:00
|
|
|
{- git repository urls
|
|
|
|
-
|
2015-01-21 16:50:09 +00:00
|
|
|
- Copyright 2010, 2011 Joey Hess <id@joeyh.name>
|
2011-12-14 19:30:14 +00:00
|
|
|
-
|
2019-03-13 19:48:14 +00:00
|
|
|
- Licensed under the GNU AGPL version 3 or higher.
|
2011-12-14 19:30:14 +00:00
|
|
|
-}
|
|
|
|
|
|
|
|
module Git.Url (
|
|
|
|
scheme,
|
|
|
|
host,
|
|
|
|
port,
|
|
|
|
hostuser,
|
|
|
|
authority,
|
2019-08-02 16:38:14 +00:00
|
|
|
path,
|
2011-12-14 19:30:14 +00:00
|
|
|
) where
|
|
|
|
|
2019-08-02 16:38:14 +00:00
|
|
|
import Network.URI hiding (scheme, authority, path)
|
2011-12-14 19:30:14 +00:00
|
|
|
|
|
|
|
import Common
|
|
|
|
import Git.Types
|
|
|
|
import Git
|
|
|
|
|
|
|
|
{- Scheme of an URL repo. -}
|
|
|
|
scheme :: Repo -> String
|
|
|
|
scheme Repo { location = Url u } = uriScheme u
|
|
|
|
scheme repo = notUrl repo
|
|
|
|
|
|
|
|
{- Work around a bug in the real uriRegName
|
|
|
|
- <http://trac.haskell.org/network/ticket/40> -}
|
|
|
|
uriRegName' :: URIAuth -> String
|
|
|
|
uriRegName' a = fixup $ uriRegName a
|
2012-12-13 04:24:19 +00:00
|
|
|
where
|
|
|
|
fixup x@('[':rest)
|
|
|
|
| rest !! len == ']' = take len rest
|
|
|
|
| otherwise = x
|
|
|
|
where
|
|
|
|
len = length rest - 1
|
|
|
|
fixup x = x
|
2011-12-14 19:30:14 +00:00
|
|
|
|
|
|
|
{- Hostname of an URL repo. -}
|
2013-11-04 18:14:44 +00:00
|
|
|
host :: Repo -> Maybe String
|
2011-12-14 19:30:14 +00:00
|
|
|
host = authpart uriRegName'
|
|
|
|
|
|
|
|
{- Port of an URL repo, if it has a nonstandard one. -}
|
|
|
|
port :: Repo -> Maybe Integer
|
|
|
|
port r =
|
|
|
|
case authpart uriPort r of
|
2013-11-04 18:14:44 +00:00
|
|
|
Nothing -> Nothing
|
|
|
|
Just ":" -> Nothing
|
|
|
|
Just (':':p) -> readish p
|
|
|
|
Just _ -> Nothing
|
2011-12-14 19:30:14 +00:00
|
|
|
|
|
|
|
{- Hostname of an URL repo, including any username (ie, "user@host") -}
|
2013-11-04 18:14:44 +00:00
|
|
|
hostuser :: Repo -> Maybe String
|
|
|
|
hostuser r = (++)
|
|
|
|
<$> authpart uriUserInfo r
|
|
|
|
<*> authpart uriRegName' r
|
2011-12-14 19:30:14 +00:00
|
|
|
|
|
|
|
{- The full authority portion an URL repo. (ie, "user@host:port") -}
|
2013-11-04 18:14:44 +00:00
|
|
|
authority :: Repo -> Maybe String
|
2011-12-14 19:30:14 +00:00
|
|
|
authority = authpart assemble
|
2012-12-13 04:24:19 +00:00
|
|
|
where
|
|
|
|
assemble a = uriUserInfo a ++ uriRegName' a ++ uriPort a
|
2011-12-14 19:30:14 +00:00
|
|
|
|
|
|
|
{- Applies a function to extract part of the uriAuthority of an URL repo. -}
|
2013-11-04 18:14:44 +00:00
|
|
|
authpart :: (URIAuth -> a) -> Repo -> Maybe a
|
|
|
|
authpart a Repo { location = Url u } = a <$> uriAuthority u
|
2011-12-14 19:30:14 +00:00
|
|
|
authpart _ repo = notUrl repo
|
|
|
|
|
2019-08-02 16:38:14 +00:00
|
|
|
{- Path part of an URL repo. -}
|
|
|
|
path :: Repo -> FilePath
|
|
|
|
path Repo { location = Url u } = uriPath u
|
|
|
|
path repo = notUrl repo
|
|
|
|
|
2011-12-14 19:30:14 +00:00
|
|
|
notUrl :: Repo -> a
|
|
|
|
notUrl repo = error $
|
|
|
|
"acting on local git repo " ++ repoDescribe repo ++ " not supported"
|