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

Do not output usage hint when shell=none. #8531

Merged
merged 3 commits into from
Jun 23, 2020
Merged

Do not output usage hint when shell=none. #8531

merged 3 commits into from
Jun 23, 2020

Commits on Jun 23, 2020

  1. Do not output usage hint when shell=none. Since there is no shell, 

    there is no clear way to expect how a usage hint will be interpretted.
    @jtzwu
    jtzwu committed Jun 23, 2020
    Configuration menu
    Copy the full SHA
    f19ca53 View commit details
    Browse the repository at this point in the history

  2. Fix shell test to reflect the fact that shell=none no longer has a us… 

    …age msg.
    @jtzwu
    jtzwu committed Jun 23, 2020
    Configuration menu
    Copy the full SHA
    33d4ecb View commit details
    Browse the repository at this point in the history

  3. Format code

    @jtzwu
    jtzwu committed Jun 23, 2020
    Configuration menu
    Copy the full SHA
    e1a7b22 View commit details
    Browse the repository at this point in the history