]> git.rmz.io Git - dotfiles.git/commitdiff
zsh: .ros goes to XDG_CACHE_HOME
authorSamir Benmendil <samir.benmendil@gmail.com>
Thu, 27 Nov 2014 17:03:45 +0000 (17:03 +0000)
committerSamir Benmendil <samir.benmendil@gmail.com>
Thu, 27 Nov 2014 17:03:45 +0000 (17:03 +0000)
zsh/functions/rosinit

index 4b297d818a846d6c73d5d19905c5bd01a16e6362..ac985a8235b4929fb60af676eb53fe877a263425 100644 (file)
@@ -16,6 +16,9 @@ function rosinit() {
         source /opt/ros/$ROS_DISTRO/setup.zsh
         source $WORKSPACE/devel/setup.zsh
         export ROS_WORKSPACE=$WORKSPACE
         source /opt/ros/$ROS_DISTRO/setup.zsh
         source $WORKSPACE/devel/setup.zsh
         export ROS_WORKSPACE=$WORKSPACE
+        export ROS_HOME=$XDG_CACHE_HOME/ros
+        export ROS_LOG_DIR=$XDG_CACHE_HOME/ros/log
+        # export ROS_TEST_RESULTS_DIR=$HOME/.ros
         roscd
     else
         echo "ROS $ROS_DISTRO doesn't seem to be installed." >&2
         roscd
     else
         echo "ROS $ROS_DISTRO doesn't seem to be installed." >&2