Add the ability to restart individual webshells

Whenever using catkin_make, we need to source setup.bash to make sure we can access whatever was compiled. Currently, we have to source the file in each webshell or we can reload the simulation which also restarts each webshell. It gets a bit tedious to have to source the file in all four webshells in order to keep the simulation active. It would be nice to have the option to restart individual webshells (similar to closing one and opening another on a native installation).

Hi Kai,

Thank you for your suggestion, I think it’s a good one. Let me take it to the team to discuss the possibilities. We’ll get back to you.

1 Like