diff options
| author |  Joey Hess <joey@kitenet.net> | 2011-10-06 19:11:30 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2011-10-06 19:24:11 -0400 |
| commit | 5414bbce58041aa92f2a50a8e721507879000f77 (patch) | |
| tree | 7e9bb34e6be4a52d266da351c747a6dd71c33d06 /Command.hs | |
| parent | f011033869bbeeb7941c1c6e16a2a138b11c92e4 (diff) | |
git-annex-shell uuid verification
* git-annex now asks git-annex-shell to verify that it's operating in
the expected repository.
* Note that this git-annex will not interoperate with remotes using
older versions of git-annex-shell.
The reason for this check is to avoid git-annex getting confused about
what remote repository actually contains a value. It's a prerequisite for
supporting git insteadOf aliases.
Diffstat (limited to 'Command.hs')
| -rw-r--r-- | Command.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Command.hs b/Command.hs index 6f8684e4a..54dc9603f 100644 --- a/Command.hs +++ b/Command.hs @@ -189,6 +189,8 @@ paramGlob :: String paramGlob = "GLOB" paramName :: String paramName = "NAME" +paramUUID :: String +paramUUID = "UUID" paramType :: String paramType = "TYPE" paramKeyValue :: String |