You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Calling the compiled repp command with an unknown option leads to a hard crash:
$ ./repp -hterminate called after throwing an instance of 'boost::wrapexcept<boost::program_options::unknown_option>' what(): unrecognised option '-h'zsh: IOT instruction (core dumped) src/repp -h
It would be more useful if unrecognized options just show the usage. And apparently the help option is --help or -? (and -? needs to be quoted in some shells, like ZSH):
$ ./repp --helpUsage: src/repp [options] [input-file]Options: -? [ --help ] This usage information. -c [ --config ] arg Configuration file (REQUIRED). --format arg Token format: string, line, offsets, triple (default string). -r [ --rpp ] arg Specify non-default location of directory containing repp modules. (Default locations are relative to the config file. See README.)
The text was updated successfully, but these errors were encountered:
Calling the compiled
repp
command with an unknown option leads to a hard crash:It would be more useful if unrecognized options just show the usage. And apparently the help option is
--help
or-?
(and-?
needs to be quoted in some shells, like ZSH):The text was updated successfully, but these errors were encountered: