You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on Jun 25, 2020. It is now read-only.
I created shell function to change directory in workspace which is managed by wstool.
Using this function, it is easy to change directory in wstool workspace.
See: https://github.com/wkentaro/wstool_cd
Feature:
cd to workspace's root with no arguments
wstool_cd LOCALNAME to cd to repository which is set as LOCALNAME
supports bash and zsh completion
for ROS user, this is useful when doint cd to repository which is not yet catkin compiled (when unable to roscd).
If possible, I hope this script wstool_cd.sh is merged to https://github.com/vcstools/wstool , and let users enable wstool_cd just with source $(which wstool_cd.sh) in shell after installing wstool.
I created shell function to change directory in workspace which is managed by wstool.
Using this function, it is easy to change directory in wstool workspace.
See: https://github.com/wkentaro/wstool_cd
Feature:
cdto workspace's root with no argumentswstool_cd LOCALNAMEtocdto repository which is set asLOCALNAMEfor ROS user, this is useful when doint
cdto repository which is not yet catkin compiled (when unable toroscd).If possible, I hope this script
wstool_cd.shis merged to https://github.com/vcstools/wstool , and let users enablewstool_cdjust withsource $(which wstool_cd.sh)in shell after installing wstool.What do you think?