What do I source with ros-desktop-full?

[Amber G]

Hi Debian Science Maintainers,

I'm getting started with the Miro-E MDK as part of a university project, 
and the install script sources /opt/ros/$MIRO_ROS_RELEASE/setup.bash in 
order to function. In my case, MIRO_ROS_RELEASE=noetic.

I want to create a symbolic link to wherever the ros-desktop-full 
package's setup.bash is in order to get the script to run correctly.

Is there such a setup.bash with the ros-desktop-full package? If not, 
and the ROS environment is already initialized by default, then I'll 
simply edit the install script such that the toplevel setup.bash isn't 
sourced.

Kind regards

Amber