blob: 5a092d3628460633ae2ca74d34deb58a8a9eafb0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
{- git-repair program
-
- Copyright 2013 Joey Hess <joey@kitenet.net>
-
- Licensed under the GNU GPL version 3 or higher.
-}
import Options.Applicative
import Common
import qualified Git.CurrentRepo
import qualified Git.Repair
import qualified Git.Config
data Settings = Settings
{ forced :: Bool
}
parseSettings :: Parser Settings
parseSettings = Settings
<$> switch forceopt
where
forceopt = long "force"
<> help "Force repair, even if data is lost"
main :: IO ()
main = execParser opts >>= repair
where
opts = info (helper <*> parseSettings) desc
desc = fullDesc
<> header "git-repair - repair a damanged git repository"
repair :: Settings -> IO ()
repair settings = do
g <- Git.Config.read =<< Git.CurrentRepo.get
ifM (Git.Repair.successfulRepair <$> Git.Repair.runRepair (forced settings) g)
( exitSuccess
, exitFailure
)
|