blob: 65857b86a0a4158113e5f32d43fbcc4e96e6f8cb (
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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
|
module Command.Checkout (
CheckoutCommand,
) where
import Data.Text (Text)
import Data.Text qualified as T
import System.Console.GetOpt
import Command
import Repo
data CheckoutCommand = CheckoutCommand CheckoutOptions (Maybe RepoName) Text
data CheckoutOptions = CheckoutOptions
{ coPath :: Maybe FilePath
, coSubtree :: Maybe FilePath
}
instance Command CheckoutCommand where
commandName _ = "checkout"
commandDescription _ = "Checkout (part of) a given repository"
type CommandArguments CheckoutCommand = [ Text ]
commandUsage _ = T.pack $ unlines $
[ "Usage: minici checkout [<repo> [<revision>]] [<option>...]"
]
type CommandOptions CheckoutCommand = CheckoutOptions
defaultCommandOptions _ = CheckoutOptions
{ coPath = Nothing
, coSubtree = Nothing
}
commandOptions _ =
[ Option [] [ "path" ]
(ReqArg (\val opts -> opts { coPath = Just val }) "<path>")
"destination path"
, Option [] [ "subtree" ]
(ReqArg (\val opts -> opts { coSubtree = Just val }) "<path>")
"repository subtree to checkout"
]
commandInit _ co = uncurry (CheckoutCommand co) . \case
(name : revision : _) -> ( Just (RepoName name), revision )
[ name ] -> ( Just (RepoName name), "HEAD" )
[] -> ( Nothing, "HEAD" )
commandExec = cmdCheckout
cmdCheckout :: CheckoutCommand -> CommandExec ()
cmdCheckout (CheckoutCommand CheckoutOptions {..} name revision) = do
repo <- maybe getDefaultRepo getRepo name
root <- maybe (fail $ T.unpack $ "revision `" <> revision <> "' not found") getCommitTree =<< readCommit repo revision
tree <- case coSubtree of
Nothing -> return root
Just subtree -> maybe (fail $ "subtree `" <> subtree <> "' not found in revision `" <> T.unpack revision <> "'") return =<< getSubtree subtree root
checkoutAt tree $ maybe "." id coPath
|