Managing Workspaces
This guide is an important and mandatory reading for all MRS members. Please, make a coffee and take your time to carefully study it, because it will make your (and Tomas's) life easier and it will help you avoid some compilation difficulties.
TL;DR & Tips
- Learn to configure the workspaces by hand, learn to setup and verify dependencies between the workspaces.
- Do not
source
more than one workspace in your~/.bashrc
or~/.zshrc
. - Be mindful about the workspace hierarchy It will allow you to work more efficiently.
- It is possible to maintain multiple copies of a workspace, each with a different build type or particular version of the software.
- Symlink packages from
~/git
to your workspaces, instead of directly cloning them into thesrc
folder.