]> git.rmz.io Git - dotfiles.git/commitdiff
zsh: add jade to rosinit
authorSamir Benmendil <samir.benmendil@gmail.com>
Fri, 20 Feb 2015 18:53:32 +0000 (18:53 +0000)
committerSamir Benmendil <samir.benmendil@gmail.com>
Fri, 20 Feb 2015 18:53:32 +0000 (18:53 +0000)
zsh/functions/rosinit

index 082f156084ef32a0f01c3c6c16cb48e478982340..5924b3b4b6c3c885fe1dbb7f3e778486fce3f885 100644 (file)
@@ -3,7 +3,7 @@
 function rosinit() {
     local WORKSPACE=~/src/ros
     local -a ROS_DISTROS
-    ROS_DISTROS=("hydro" "indigo")
+    ROS_DISTROS=("hydro" "indigo" "jade")
 
     local distro=$1
     if [[ -z "$distro" ]]; then