From 09f50579f6cd92fa0af92cfeff34edc7818fdbe3 Mon Sep 17 00:00:00 2001
From: Andres Montano <andres.montano@tecnalia.com>
Date: Thu, 16 Jun 2022 11:37:03 +0200
Subject: [PATCH] Update dotfiles
---
dotfiles/ros.bash | 1 +
1 file changed, 1 insertion(+)
diff --git a/dotfiles/ros.bash b/dotfiles/ros.bash
index 40ee5e5..a45dbd9 100644
--- a/dotfiles/ros.bash
+++ b/dotfiles/ros.bash
@@ -41,6 +41,7 @@ function cbclean(){
roshome && rm -rf build devel install && cb
}
+# Initialize catkin workspace, configure and build it
function cib(){
catkin init && catkin config --extend /opt/ros/${ROS_DISTRO} && cb
}
--
GitLab