Revision history [back]

Hello bluenote,

the way I am usually doing it is by typing: echo $CMAKE_PREFIX_PATH in my terminal. It gives you all the sourced workspaces.

As a little side note, I would advise you to add the following line in your .bashrc file in order to know which workspaces are sourced every time you open a new terminal.

echo "CMAKE_PREFIX_PATH = $CMAKE_PREFIX_PATH"

If you have any further questions, feel free to ask. :)