-
Notifications
You must be signed in to change notification settings - Fork 146
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
verbs: adding shell verbs 'cd' and 'source' #192
Conversation
99e66b8
to
37cedb0
Compare
This one needs to be updated with |
Yep. |
I updated it to use |
This is neither documented nor automatically sourced. So before merging this it needs to be documented. @k-okada you mentioned it should be added to the bug squashing list, can you test and document the feature (both how to activate it and how to use it)? |
ok, so where should I put documents? ◉ Kei Okada On Thu, Dec 10, 2015 at 2:14 AM, William Woodall notifications@github.com
|
I'd add a "Extra catkin shell commands" section to the index: https://github.com/catkin/catkin_tools/blob/master/docs/index.rst Where you can describe that these are shell functions and that they can be optionally activated by |
This was replaced by #244. |
thank you! ◉ Kei Okada On Mon, Dec 21, 2015 at 9:30 AM, William Woodall notifications@github.com
|
NOTE: Depends on #165
This is a bash/zsh wrapper function which, when sourced, enables the following:
catkin cd [ARGS...]
-- Change to package directory in source space whereARGS
are any validcatkin locate
argumentscatkin source
-- Source the develspace of the containing workspacecatkin -w /path/to/ws source
-- Source the develspace of the workspace/path/to/ws source