Merge pull request #814 from wkentaro/rename-rossetrobot

rename rossetrobot -> rossetmaster, keep rossetrobot for backword compatibility

jsk_tools/src/zshrc.ros

@@ -1,6 +1,6 @@
 # -*- mode: shell-script -*-
 
-function rossetrobot() { # 自分のよく使うロボットのhostnameを入れる
+function rossetmaster() { # 自分のよく使うロボットのhostnameを入れる
     if [ "${ZSH_REMATCH}" = "" ]; then
         export ZSH_REMATCH="${PS1}"
     fi
@@ -13,9 +13,13 @@ function rossetrobot() { # 自分のよく使うロボットのhostnameを入れ
     export PS1="%{$fg[yellow]%}[$ROS_MASTER_URI]%{$reset_color%} ${PS1}"
     echo -e "\e[1;31mset ROS_MASTER_URI to $ROS_MASTER_URI\e[m"
 }
+function rossetrobot() {
+    echo -e "\e[1;31m *** rossetrobot is obsoleted, use rossetmaster ***\e[m"
+    rossetmaster $@
+}
 
 function rossetlocal() {
-    rossetrobot localhost
+    rossetmaster localhost
     if [[ "${PS1}" =~ .{4}\[http://.*:.*\].*$ ]] ; then
         export PS1="${ZSH_REMATCH}"
     fi