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

add a UUID type

Browse source 
Should have done this a long time ago.
This commit is contained in:
Joey Hess 2011-11-07 14:46:01 -04:00
parent b08f7c428b
commit 63a292324d
18 changed files with 67 additions and 55 deletions
Download patch file Download diff file Expand all files Collapse all files

4
git-annex-shell.hs
View file

@ -45,9 +45,9 @@ options = commonOptions ++
where
check expected = do
u <- getUUID
when (u /= expected) $ error $
when (u /= read expected) $ error $
"expected repository UUID " ++ expected
++ " but found UUID " ++ u
++ " but found UUID " ++ show u
header :: String
header = "Usage: git-annex-shell [-c] command [parameters ...] [option ..]"