wstool_cd (pypi): Tool to change directory in workspace managed by wstool
Keywords: utility