latest pushes

2024-05-11 03:32:58 -04:00
parent 32c5f29c08
commit 4d1847e631
4 changed files with 48 additions and 8 deletions
--- a/scripts/catkin_setup.sh
+++ b/scripts/catkin_setup.sh
@ -15,6 +15,8 @@
 # You should have received a copy of the GNU General Public License
 # along with this program.  If not, see <https://www.gnu.org/licenses/>.

-
+# Build catkin workspace
 catkin build
-source "/root/catkin_ws/devel/setup.bash"
+
+# Source workspace setup file
+source devel/setup.bash