Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add command line argument completion #669

Merged
merged 18 commits into from
Mar 30, 2022
Merged

Add command line argument completion #669

merged 18 commits into from
Mar 30, 2022

Commits on Mar 27, 2022

  1. Add arg-complete

    @sim642
    sim642 committed Mar 27, 2022
    Configuration menu
    Copy the full SHA
    75eac06 View commit details
    Browse the repository at this point in the history

  2. Add option completion

    @sim642
    sim642 committed Mar 27, 2022
    Configuration menu
    Copy the full SHA
    feeb04c View commit details
    Browse the repository at this point in the history

  3. Add shorthand option value completion

    @sim642
    sim642 committed Mar 27, 2022
    Configuration menu
    Copy the full SHA
    1327d1d View commit details
    Browse the repository at this point in the history

  4. Add --set value completion

    @sim642
    sim642 committed Mar 27, 2022
    Configuration menu
    Copy the full SHA
    817f698 View commit details
    Browse the repository at this point in the history

  5. Filter completions for --enable & --disable by type

    @sim642
    sim642 committed Mar 27, 2022
    Configuration menu
    Copy the full SHA
    5a9d8f6 View commit details
    Browse the repository at this point in the history

  6. Remove unnecessary line from goblint-completion.sh

    @sim642
    sim642 committed Mar 27, 2022
    Configuration menu
    Copy the full SHA
    5273a6b View commit details
    Browse the repository at this point in the history

  7. Refactor for updated arg-complete with OCaml < 4.12 compatibility

    @sim642
    sim642 committed Mar 27, 2022
    Configuration menu
    Copy the full SHA
    3df5158 View commit details
    Browse the repository at this point in the history

  8. Add default value completion

    @sim642
    sim642 committed Mar 27, 2022
    Configuration menu
    Copy the full SHA
    f8c8f42 View commit details
    Browse the repository at this point in the history

  9. Add arg-complete opam pin dependency

    @sim642
    sim642 committed Mar 27, 2022
    Configuration menu
    Copy the full SHA
    ae8fb9e View commit details
    Browse the repository at this point in the history

  10. Rename goblint-completion.sh -> bash-completion.sh

    @sim642
    sim642 committed Mar 27, 2022
    Configuration menu
    Copy the full SHA
    9883318 View commit details
    Browse the repository at this point in the history

  11. Reorganize option completion

    @sim642
    sim642 committed Mar 27, 2022
    Configuration menu
    Copy the full SHA
    e9579e7 View commit details
    Browse the repository at this point in the history

  12. Fix Options.element_completions failure texts

    @sim642
    sim642 committed Mar 27, 2022
    Configuration menu
    Copy the full SHA
    a0535c1 View commit details
    Browse the repository at this point in the history

  13. Rename GobConfig.get -> GobConfig.get_json

    @sim642
    sim642 committed Mar 27, 2022
    Configuration menu
    Copy the full SHA
    1dd9585 View commit details
    Browse the repository at this point in the history

  14. Add usage instructions to bash-completion.sh

    @sim642
    sim642 committed Mar 27, 2022
    Configuration menu
    Copy the full SHA
    3c03987 View commit details
    Browse the repository at this point in the history

  15. Fix relative path in bash-completion.sh usage

    @sim642
    sim642 committed Mar 27, 2022
    Configuration menu
    Copy the full SHA
    bf9c184 View commit details
    Browse the repository at this point in the history

Commits on Mar 30, 2022

  1. Switch to arg-complete from opam

    @sim642
    sim642 committed Mar 30, 2022
    Configuration menu
    Copy the full SHA
    de9a139 View commit details
    Browse the repository at this point in the history

  2. Remove unnecessary relative name from bash-completion.sh

    @sim642
    sim642 committed Mar 30, 2022
    Configuration menu
    Copy the full SHA
    85fe304 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into arg-complete

    @sim642
    sim642 committed Mar 30, 2022
    Configuration menu
    Copy the full SHA
    89e643d View commit details
    Browse the repository at this point in the history