Ask Your Question

convenience scripts for switching catkin workspaces

asked 2014-02-28 06:02:52 -0500

demmeln gravatar image

A while back I came across a post or mail of someone using some short bash script to conveniently source different setup.bash files. It was something along the lines of searching the home directory (up to a specified depth) for setup.bash files and then providing completion to switch to one of those workspaces.

I seem to be unable to find it again. I guess reimplementing it would not be too hard, but maybe something like this lying around in their .bashrc?

edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted

answered 2014-02-28 06:48:12 -0500

dornhege gravatar image

This might not be exactly what you're looking for, but it should be able to be modified easily to suit your needs:

edit flag offensive delete link more


Yeah it wasn't, but this is very useful, thanks!

demmeln gravatar image demmeln  ( 2014-02-28 07:29:49 -0500 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower


Asked: 2014-02-28 06:02:52 -0500

Seen: 305 times

Last updated: Feb 28 '14