Browse Source

Alias -v to --version, Fixes #126 (#134)

remotes/origin/add-simple-redirecting-site
Gal Schlezinger 6 years ago committed by GitHub
parent
commit
abb58328d0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 10
      executable/FnmApp.re

10
executable/FnmApp.re

@ -351,9 +351,19 @@ let defaultCmd = {
); );
}; };
let argv =
Sys.argv
|> Array.map(arg =>
switch (arg) {
| "-v" => "--version"
| x => x
}
);
let _ = let _ =
Term.eval_choice( Term.eval_choice(
defaultCmd, defaultCmd,
[install, uninstall, use, alias, default, listLocal, listRemote, env], [install, uninstall, use, alias, default, listLocal, listRemote, env],
~argv,
) )
|> Term.exit; |> Term.exit;

Loading…
Cancel
Save