New debugging option: --trace-verify

1 files changed, 8 insertions, 1 deletions

diff --git a/kiki.hs b/kiki.hs
index 6be2a8d..ddfb05b 100644
--- a/kiki.hs
+++ b/kiki.hs
@@ -659,6 +659,9 @@ kiki_usage bExport bImport bSecret cmd = putStr $
                 ["     --help"
                 ,"                Gives usage information"
                 ,""
+                ,"     --trace-verify"
+                ,"                For debugging, stderr traces for every signature verification."
+                ,""
                 ] ++ documentHomeDir ++ [""]
                   ++ documentPassphraseFDFlag bExport bImport bSecret
             showwk :: [String]
@@ -1745,7 +1748,11 @@ commands =
 main :: IO ()
 main = do
     dotlock_init
-    args_raw <- getArgs
+    args_raw0 <- getArgs
+    args_raw <- case break (=="--trace-verify") args_raw0 of
+                  (as,[]) -> return as
+                  (as,_:bs) -> do setVerifyFlag True
+                                  return $ as ++ bs
     case args_raw of
 
         [] -> kiki "show" ["--working"]