gilbreth
gilbreth copied to clipboard
Sourcing env_setup.bash with an exec inside
Is there a reason we are asked to source the env_setup.bash file which actually has an exec command at the end? I do understand that the script itself is required to set gazebo specific environment variables.
I am not much of a shell scripter myself, but I was told by @gavanderhoorn that sourcing a script with exec commands is not commonly done.
That script is just meant so setup environment variables for gazebo, I'm not sure about the exec but it appears not be doing anything. However, that script step is no longer necessary.