mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

better filtering out of special remotes

Browse source
This commit is contained in:
Joey Hess 2011-12-31 03:27:37 -04:00
parent 6cd4c7efcd
commit 8a33573caf
9 changed files with 23 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

7
Types/Remote.hs
View file

@ -30,6 +30,9 @@ data RemoteType a = RemoteType {
setup :: UUID -> RemoteConfig -> a RemoteConfig
}
instance Eq (RemoteType a) where
x == y = typename x == typename y
{- An individual remote. -}
data Remote a = Remote {
-- each Remote has a unique uuid
@ -53,7 +56,9 @@ data Remote a = Remote {
-- a Remote can have a persistent configuration store
config :: Maybe RemoteConfig,
-- git configuration for the remote
repo :: Git.Repo
repo :: Git.Repo,
-- the type of the remote
remotetype :: RemoteType a
}
instance Show (Remote a) where