diff options
| author |  Joey Hess <joey@kitenet.net> | 2013-09-12 15:54:35 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2013-09-12 15:54:35 -0400 |
| commit | b2ffbaf43ca2773e51ff2d5665db67f86f8ccdd7 (patch) | |
| tree | 5b98d88bf1cbaf9e0d41458f6b9469f1895d6bdf /Types/Remote.hs | |
| parent | 4515c27f4273969ef2fae1dc0f90dbe98a905eae (diff) | |
Support hot-swapping of removable drives containing gcrypt repositories.
To support this, a core.gcrypt-id is stored by git-annex inside the git
config of a local gcrypt repository, when setting it up.
That is compared with the remote's cached gcrypt-id. When different, a
drive has been changed. git-annex then looks up the remote config for
the uuid mapped from the core.gcrypt-id, and tweaks the configuration
appropriately. When there is no known config for the uuid, it will refuse to
use the remote.
Diffstat (limited to 'Types/Remote.hs')
| -rw-r--r-- | Types/Remote.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Types/Remote.hs b/Types/Remote.hs index 6c0f89346..78008ce06 100644 --- a/Types/Remote.hs +++ b/Types/Remote.hs @@ -29,7 +29,7 @@ data RemoteTypeA a = RemoteType { -- enumerates remotes of this type enumerate :: a [Git.Repo], -- generates a remote of this type - generate :: Git.Repo -> UUID -> RemoteConfig -> RemoteGitConfig -> a (RemoteA a), + generate :: Git.Repo -> UUID -> RemoteConfig -> RemoteGitConfig -> a (Maybe (RemoteA a)), -- initializes or changes a remote setup :: Maybe UUID -> RemoteConfig -> a (RemoteConfig, UUID) } |