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

better error message

Browse source
This commit is contained in:
Joey Hess 2011-11-15 19:17:07 -04:00
parent 80a0be5116
commit 5c5ff2cb78
1 changed files with 9 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
git-annex-shell.hs
View file

@ -40,14 +40,17 @@ cmds = map adddirparam $ cmds_readonly ++ cmds_notreadonly
options :: [OptDescr (Annex ())]
options = commonOptions ++
[ Option [] ["uuid"] (ReqArg check paramUUID) "repository uuid"
[ Option [] ["uuid"] (ReqArg checkuuid paramUUID) "repository uuid"
]
where
check expected = do
u <- getUUID
when (u /= toUUID expected) $ error $
"expected repository UUID " ++ expected
++ " but found UUID " ++ fromUUID u
checkuuid expected = getUUID >>= check
where
check u | u == toUUID expected = return ()
check NoUUID = unexpected "uninitialized repository"
check u = unexpected $ "UUID " ++ fromUUID u
unexpected s = error $
"expected repository UUID " ++
expected ++ " but found " ++ s
header :: String
header = "Usage: git-annex-shell [-c] command [parameters ...] [option ..]"