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

add opt --active to profile list #513

Merged
merged 3 commits into from
Mar 25, 2019

Conversation

artivis
Copy link
Contributor

@artivis artivis commented Apr 7, 2018

Add --active option to profile list in order to print only the active profile with or without formatting (--unformatted).

$ catkin profile list --active 
- default (active)
$ catkin profile list --active -u
default

@NikolausDemmel
Copy link
Member

LGTM.

I have a slight preference to not use the shortcut -a here. This doens't seem to me something for regular use from the command line but rather from scripting.

@artivis
Copy link
Contributor Author

artivis commented Apr 9, 2018

Hi, thanks for the feedback.
Indeed my first use case is scripting, shall I remove the -a option ??

@wjwwood
Copy link
Member

wjwwood commented Apr 9, 2018

@artivis please do remove the -a flag. I think this is good to go otherwise.

@artivis
Copy link
Contributor Author

artivis commented Apr 9, 2018

Shortcut removed, doc updated.

@mikepurvis mikepurvis merged commit a499c09 into catkin:master Mar 25, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants