diff --git a/dotfiles/ros.bash b/dotfiles/ros.bash index 40ee5e53a7ec99b9e9e60dd87735dfb268729422..a45dbd9faddcc4f1b1765b4bbcd55f1086091369 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 }