Update dotfiles

dotfiles/ros.bash

 ###################################################################
-# ROS
+# ROS aliases and functions
 ###################################################################
 
+# Define ROS_DISTRO before source ROS
 if [ -z $ROS_DISTRO ]; then export ROS_DISTRO=noetic; fi
 
+# Determine shell extension
 if [ -z $SHELL ]; then echo "SHELL not set"; else ext=$(basename ${SHELL}); fi
 
 # Source rosmon
@@ -11,19 +13,32 @@ function smon(){
     source /opt/ros/${ROS_DISTRO}/etc/catkin/profile.d/50-rosmon.${ext}
 }
 
+# cd to the root of the workspace
+function roshome(){
+    roscd && cd ..
+}
+
 # Source the current workspace
-function sourcethis(){
+function sourcews(){
     source ./devel/setup.${ext} && smon
 }
 
+# Source the current workspace
+function sourcethis(){
+    roshome && source ./devel/setup.${ext} && smon
+}
+
 # Automatic catkin build
 function cb() {
+    pwd_bck=${PWD}
     catkin build --summarize "$@"
+    sourcethis()
+    cd ${pwd_bck}
 }
 
 # Clean workspace (delete the generated folders, then catkin build)
 function cbclean(){
-	roscd && cd .. && rm -rf build devel install && cb
+    roshome && rm -rf build devel install && cb
 }
 
 function cib(){

dotfiles/terminator/config

+[global_config]
+  window_state = maximise
+  borderless = True
+  tab_position = hidden
+  title_hide_sizetext = True
+  title_use_system_font = False
+  title_font = Hack NF Bold 12
+[keybindings]
+[profiles]
+  [[default]]
+    cursor_shape = ibeam
+    cursor_color = "#aaaaaa"
+    font = Hack Nerd Font Mono 12
+    show_titlebar = False
+    scrollback_infinite = True
+    use_system_font = False
+    copy_on_selection = True
+[layouts]
+  [[default]]
+    [[[window0]]]
+      type = Window
+      parent = ""
+    [[[child1]]]
+      type = Terminal
+      parent = window0
+[plugins]