add -n option to tutd which mirrors -n for the servers
commita8097f437f7651b9f1e2c668558cdb3956c51046
authorAgentM <agentm@themactionfaction.com>
dateFri 3 Feb 2017, 17:03 (10 years ago)
parent8a314dd
src/bin/TutorialD/tutd.hs+1
@@ -33,6 +33,7 @@ parseHeadName = option auto (long "head" <>
3333
3434parseDatabaseName :: Parser DatabaseName
3535parseDatabaseName = strOption (long "database" <>
36+ short 'n' <>
3637 help "Remote database name")
3738
3839parseNodeId :: Parser NodeId