Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
If you don't want to go through the manual process of sourcing the workspace everytime, you could consider adding it to your .bashrc or your .zshrc.zshrc
It would look something like this.echo "source ~/your_ws/install/setup.bash" >> ~/.bashrc
If you don't want to go through the manual process of sourcing the workspace everytime, you could consider adding it to your .bashrc or your .zshrc.
If you don't want to go through the manual process of sourcing the workspace everytime, you could consider adding it to your .bashrc or your .zshrc.
It would look something like this.echo "source ~/your_ws/install/setup.bash" >> ~/.bashrc
