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.

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

core: tools: scripts: red-pill: Add option to select user #2273

Merged
merged 1 commit into from Dec 22, 2023

Conversation

patrickelectric
Copy link
Member

No description provided.

esac
done
shift $((OPTIND -1))

Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
# Don't simply ignore additional arguments
if [ $# -gt 0 ]; then
echo "Invalid Argument: $1" 1>&2
usage
fi

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'm not sure if I follow, what is the use case for this ?

Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

redpill myusername would print the usage, instead of ignoring the argument. It's pretty common for people to miss the argument identifier (say, -u) before the argument.

It would also print the usage when redpill -u myusername and something else

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Oh, nice!

Signed-off-by: Patrick José Pereira <patrickelectric@gmail.com>
@patrickelectric patrickelectric merged commit bf91a66 into bluerobotics:master Dec 22, 2023
5 checks passed
@patrickelectric patrickelectric deleted the red-pill-2 branch December 22, 2023 17:18
@ES-Alexander ES-Alexander added the docs-needed Change needs to be documented label Jan 4, 2024
@ES-Alexander
Copy link
Collaborator

Relevant to #1073

@ES-Alexander ES-Alexander added docs-complete Change documentation has been completed and removed docs-needed Change needs to be documented labels Apr 17, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
docs-complete Change documentation has been completed
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants