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 CLI option to identify a command with a custom name #330

Merged
merged 6 commits into from
Oct 15, 2020
Merged

add CLI option to identify a command with a custom name #330

merged 6 commits into from
Oct 15, 2020

Commits on Oct 14, 2020

  1. add CLI option to identify a command with a custom name 

    CLI option `--name` can be used to define the name to identify a
command. If not passed, then the command itself is used. Commands
and names are paired in the same order: The first command executed gets
the first name passed as option.

Close sharkdp#326
    @scampi
    scampi committed Oct 14, 2020
    Configuration menu
    Copy the full SHA
    4183b8c View commit details
    Browse the repository at this point in the history

  2. add comment to HyperfineOptions#names field

    @scampi
    scampi committed Oct 14, 2020
    Configuration menu
    Copy the full SHA
    e810603 View commit details
    Browse the repository at this point in the history

  3. updated changelog

    @scampi
    scampi committed Oct 14, 2020
    Configuration menu
    Copy the full SHA
    072b739 View commit details
    Browse the repository at this point in the history

  4. update man page with the name CLI option

    @scampi
    scampi committed Oct 14, 2020
    Configuration menu
    Copy the full SHA
    6f54da1 View commit details
    Browse the repository at this point in the history

Commits on Oct 15, 2020

  1. use --command-name for the long option

    @scampi
    scampi committed Oct 15, 2020
    Configuration menu
    Copy the full SHA
    cc67788 View commit details
    Browse the repository at this point in the history

  2. return an error if there are more name options than commands

    @scampi
    scampi committed Oct 15, 2020
    Configuration menu
    Copy the full SHA
    9ed5f0d View commit details
    Browse the repository at this point in the history