2019-11-06から1日間の記事一覧
とある開発で複数のワークスペースを扱うようになった。 分散開発とか複数人で開発しているとか、色々な場面が考えられるが、そんな時何も考えずにsetup.bash叩くと最初に読み込んだワークスペースが見えなくなってしまう。 $ source ~/2nd_ws/devel/setup.b…
とある開発で複数のワークスペースを扱うようになった。 分散開発とか複数人で開発しているとか、色々な場面が考えられるが、そんな時何も考えずにsetup.bash叩くと最初に読み込んだワークスペースが見えなくなってしまう。 $ source ~/2nd_ws/devel/setup.b…