git-annex/git-annex.hs

48 lines
1.3 KiB
Haskell
Raw Normal View History

2010-10-14 07:40:26 +00:00
{- git-annex main program -}
2010-10-10 04:18:16 +00:00
2010-10-14 18:38:29 +00:00
import Control.Exception
import System.IO
2010-10-10 22:05:37 +00:00
import System.Environment
2010-10-16 20:20:49 +00:00
2010-10-14 07:18:11 +00:00
import qualified Annex
2010-10-14 18:38:29 +00:00
import Types
2010-10-14 07:40:26 +00:00
import Core
2010-10-14 18:38:29 +00:00
import Commands
2010-10-14 20:13:43 +00:00
import qualified GitRepo as Git
import BackendList
2010-10-10 04:18:16 +00:00
main = do
2010-10-10 22:05:37 +00:00
args <- getArgs
2010-10-14 20:13:43 +00:00
gitrepo <- Git.repoFromCwd
state <- Annex.new gitrepo allBackends
(flags, actions) <- parseCmd args state
tryRun state $ [startup flags] ++ actions ++ [shutdown]
2010-10-14 18:38:29 +00:00
2010-10-14 18:50:46 +00:00
{- Runs a list of Annex actions. Catches exceptions, not stopping
2010-10-14 18:38:29 +00:00
- if some error out, and propigates an overall error status at the end.
-
- This runs in the IO monad, not in the Annex monad. It seems that
- exceptions can only be caught in the IO monad, not in a stacked monad;
- or more likely I missed an easy way to do it. So, I have to laboriously
- thread AnnexState through this function.
-}
2010-10-14 18:49:19 +00:00
tryRun :: AnnexState -> [Annex ()] -> IO ()
2010-10-14 21:57:04 +00:00
tryRun state actions = tryRun' state 0 actions
tryRun' state errnum (a:as) = do
2010-10-14 18:38:29 +00:00
result <- try
2010-10-14 18:49:19 +00:00
(Annex.run state a)::IO (Either SomeException ((), AnnexState))
2010-10-14 18:38:29 +00:00
case (result) of
Left err -> do
showErr err
2010-10-14 21:57:04 +00:00
tryRun' state (errnum + 1) as
Right (_,state') -> tryRun' state' errnum as
tryRun' state errnum [] = do
2010-10-14 18:38:29 +00:00
if (errnum > 0)
2010-10-14 21:57:04 +00:00
then error $ (show errnum) ++ " failed"
2010-10-14 18:38:29 +00:00
else return ()
{- Exception pretty-printing. -}
showErr e = do
hPutStrLn stderr $ "git-annex: " ++ (show e)
return ()