{"action":"created","issue":{"url":"https://api.github.com/repos/tamarin-prover/tamarin-prover/issues/268","repository_url":"https://api.github.com/repos/tamarin-prover/tamarin-prover","labels_url":"https://api.github.com/repos/tamarin-prover/tamarin-prover/issues/268/labels{/name}","comments_url":"https://api.github.com/repos/tamarin-prover/tamarin-prover/issues/268/comments","events_url":"https://api.github.com/repos/tamarin-prover/tamarin-prover/issues/268/events","html_url":"https://github.com/tamarin-prover/tamarin-prover/issues/268","id":328828155,"node_id":"MDU6SXNzdWUzMjg4MjgxNTU=","number":268,"title":"Tamarin prover help flag","user":{"login":"lordqwerty","id":1949133,"node_id":"MDQ6VXNlcjE5NDkxMzM=","avatar_url":"https://avatars0.githubusercontent.com/u/1949133?v=4","gravatar_id":"","url":"https://api.github.com/users/lordqwerty","html_url":"https://github.com/lordqwerty","followers_url":"https://api.github.com/users/lordqwerty/followers","following_url":"https://api.github.com/users/lordqwerty/following{/other_user}","gists_url":"https://api.github.com/users/lordqwerty/gists{/gist_id}","starred_url":"https://api.github.com/users/lordqwerty/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/lordqwerty/subscriptions","organizations_url":"https://api.github.com/users/lordqwerty/orgs","repos_url":"https://api.github.com/users/lordqwerty/repos","events_url":"https://api.github.com/users/lordqwerty/events{/privacy}","received_events_url":"https://api.github.com/users/lordqwerty/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2018-06-03T13:19:05Z","updated_at":"2018-06-04T07:50:36Z","closed_at":null,"author_association":"CONTRIBUTOR","body":"When I run `tamarin-prover -?` in terminal under zsh results in no help text being displayed. The only option I have to display help text is to execute `tamarin-prover --help`, and is too much typing... \r\n\r\nWould it not make more sense to change the flag from `-?` to `-h` like it is for just about every other command line application? \r\n"},"comment":{"url":"https://api.github.com/repos/tamarin-prover/tamarin-prover/issues/comments/394265019","html_url":"https://github.com/tamarin-prover/tamarin-prover/issues/268#issuecomment-394265019","issue_url":"https://api.github.com/repos/tamarin-prover/tamarin-prover/issues/268","id":394265019,"node_id":"MDEyOklzc3VlQ29tbWVudDM5NDI2NTAxOQ==","user":{"login":"rsasse","id":2189451,"node_id":"MDQ6VXNlcjIxODk0NTE=","avatar_url":"https://avatars3.githubusercontent.com/u/2189451?v=4","gravatar_id":"","url":"https://api.github.com/users/rsasse","html_url":"https://github.com/rsasse","followers_url":"https://api.github.com/users/rsasse/followers","following_url":"https://api.github.com/users/rsasse/following{/other_user}","gists_url":"https://api.github.com/users/rsasse/gists{/gist_id}","starred_url":"https://api.github.com/users/rsasse/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/rsasse/subscriptions","organizations_url":"https://api.github.com/users/rsasse/orgs","repos_url":"https://api.github.com/users/rsasse/repos","events_url":"https://api.github.com/users/rsasse/events{/privacy}","received_events_url":"https://api.github.com/users/rsasse/received_events","type":"User","site_admin":false},"created_at":"2018-06-04T07:50:36Z","updated_at":"2018-06-04T07:50:36Z","author_association":"MEMBER","body":"I do not understand the problem using bash. Whether I type \r\n`tamarin-prover -?` or `tamarin-prover --help`\r\nI get the exact same help screen (see below). For `tamarin-prover -h` I indeed get no output, but isn't `-?` enough?\r\n\r\nSo, this seems to be a zsh problem. Actually just tried on a freshly installed unconfigured zsh and I have your problem too. Weird.\r\n\r\n`tamarin-prover [COMMAND] ... [OPTIONS] FILES\r\n  Security protocol analysis and verification.\r\n\r\nCommands:\r\n  interactive  Start a web-server to construct proofs interactively.\r\n  variants     Compute the variants of the intruder rules for DH-exponentiation.\r\n  test         Self-test the tamarin-prover installation.\r\n\r\nFlags:\r\n     --prove[=LEMMAPREFIX]                   Attempt to prove a lemma\r\n     --stop-on-trace[=DFS|BFS|NONE]          How to search for traces (default DFS)\r\n  -b --bound[=INT]                           Bound the depth of the proofs\r\n     --heuristic[=(s|S|o|O|p|P|l|c|C|i|I)+]  Sequence of goal rankings to use (default 's')\r\n     --partial-evaluation[=SUMMARY|VERBOSE]  Partially evaluate multiset rewriting system\r\n  -D --defines[=STRING]                      Define flags for pseudo-preprocessor.\r\n     --diff                                  Turn on observational equivalence mode using diff terms.\r\n     --quit-on-warning                       Strict mode that quits on any warning that is emitted.\r\n     --oraclename[=FILE]                     Path to the oracle heuristic (default './oracle').\r\n     --no-compress                           Do not use compressed sequent visualization\r\n     --parse-only                            Just parse the input file and pretty print it as-is\r\n  -o --output[=FILE]                         Output file\r\n  -O --Output[=DIR]                          Output directory\r\n     --with-dot[=FILE]                       Path to GraphViz 'dot' tool\r\n     --with-json[=FILE]                      Path to JSON rendering tool (not working with --diff)\r\n     --with-maude[=FILE]                     Path to 'maude' rewriting tool\r\nAbout:\r\n  -? --help                                  Display help message\r\n  -V --version                               Print version information\r\n\r\n------------------------------------------------------------------------------\r\nSee 'https://github.com/tamarin-prover/tamarin-prover/blob/master/README.md'\r\nfor usage instructions and pointers to examples.\r\n------------------------------------------------------------------------------\r\n`"}}
{"actor":{"display_login":"rsasse"}}