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 /Remote/Web.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 'Remote/Web.hs')
| -rw-r--r-- | Remote/Web.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Remote/Web.hs b/Remote/Web.hs index 5b8df2994..789aab698 100644 --- a/Remote/Web.hs +++ b/Remote/Web.hs @@ -43,9 +43,9 @@ list = do r <- liftIO $ Git.Construct.remoteNamed "web" Git.Construct.fromUnknown return [r] -gen :: Git.Repo -> UUID -> RemoteConfig -> RemoteGitConfig -> Annex Remote +gen :: Git.Repo -> UUID -> RemoteConfig -> RemoteGitConfig -> Annex (Maybe Remote) gen r _ _ gc = - return Remote { + return $ Just Remote { uuid = webUUID, cost = expensiveRemoteCost, name = Git.repoDescribe r, |