とある開発で複数のワークスペースを扱うようになった。
分散開発とか複数人で開発しているとか、色々な場面が考えられるが、そんな時何も考えずにsetup.bash叩くと最初に読み込んだワークスペースが見えなくなってしまう。
$ source ~/2nd_ws/devel/setup.bash
これでOKらしい。
$ source ~/1st_ws/devel/setup.bash
$ cd ~/2nd_ws/
$ catkin_make
$ source ~/2nd_ws/devel/setup.bash
