search

GaloisInc / saw-script

The SAW scripting language.
BSD 3-Clause "New" or "Revised" License
442 stars 63 forks source link

`saw -?` output is too wide #405

Open brianhuffman opened 5 years ago

brianhuffman commented 5 years ago

If you run saw -? to print the command-line help, this is what you get:

Usage: saw [OPTION...] [-I | file]
  -h, -?                                                                             --help                                                                                    Print this help message
  -V                                                                                 --version                                                                                 Show the version of the SAWScript interpreter
  -c path                                                                            --classpath=path                                                                          Colon-delimited list of paths
  -i path                                                                            --import-path=path                                                                        Colon-delimited list of paths
  -t                                                                                 --extra-type-checking                                                                     Perform extra type checking of intermediate values
  -I                                                                                 --interactive                                                                             Run interactively (with a REPL)
  -j path                                                                            --jars=path                                                                               Colon-delimited list of paths
                                                                                     --output-locations                                                                        Show the source locations that are responsible for output.
  -d num                                                                             --sim-verbose=num                                                                         Set simulator verbosity level
  -v <num 0-5 | 'silent' | 'counterexamples' | 'error' | 'warn' | 'info' | 'debug'>  --verbose=<num 0-5 | 'silent' | 'counterexamples' | 'error' | 'warn' | 'info' | 'debug'>  Set verbosity level

In this github comment thread most of the text is out of view. On my 100-column-wide terminal window, it is wrapped around making it basically unreadable.

sauclovian-g commented 1 month ago

This has been bugging me.

sauclovian-g commented 4 weeks ago

I mentioned this in #1363 and it didn't cross-reference here for some reason.

sauclovian-g commented 4 weeks ago

Anyway when fixing this, one should also take some steps to prevent a recurrence of that problem. (Both involve reorganizing the options table.)