Regenerating a workspace currently involves calling the workspace creation script within the ./factory dir (as described in the docs here). However, those scripts are configured to fail fast, so if an error occurs, the script exits without reporting the error. In this PR, we add the stretch_update_ros_workspace.sh script which reports whether the workspace was successfully generated or not.
Regenerating a workspace currently involves calling the workspace creation script within the ./factory dir (as described in the docs here). However, those scripts are configured to fail fast, so if an error occurs, the script exits without reporting the error. In this PR, we add the
stretch_update_ros_workspace.sh
script which reports whether the workspace was successfully generated or not.