Merge pull request #114 from serokell/Player205/#113-Improve-help-message

[#113] Improve error message of dump-config option
This commit is contained in:
Andrei Borzenkov 2022-07-15 17:02:29 +04:00 committed by GitHub
commit e4af3c7310
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -188,12 +188,14 @@ dumpConfigOptions = hsubparser $
where
parser = DumpConfig <$> repoTypeOption <*> outputOption
allRepoTypes = "(" <> intercalate " | " (map (show @String) allFlavors) <> ")"
repoTypeOption =
option repoTypeReadM $
short 't' <>
long "type" <>
metavar "REPOSITORY TYPE" <>
help "Git repository type."
help ("Git repository type. Can be " <> allRepoTypes <> ". Case insensitive.")
outputOption =
filepathOption $