Allow -d as well as --datadir in commands

Fixes #86
This commit is contained in:
Robur 2022-02-21 13:08:58 +00:00
parent f7bc55f2e3
commit 7bb9e2d8fe
2 changed files with 2 additions and 2 deletions

View file

@ -411,7 +411,7 @@ let datadir =
let doc = "data directory" in
Cmdliner.Arg.(value &
opt dir Builder_system.default_datadir &
info ~doc ["datadir"])
info ~doc ["datadir"; "d"])
let jobname =
let doc = "jobname" in

View file

@ -63,7 +63,7 @@ let datadir =
let doc = "data directory containing builder.sqlite3 and data files" in
Cmdliner.Arg.(value &
opt dir Builder_system.default_datadir &
info ~doc ["datadir"])
info ~doc ["datadir"; "d"])
let setup_log =
let setup_log level =