From 1b5d21e526c13f1f9d781262ce2f2823169f04fe Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Micka=C3=ABl=20Germain?= Date: Mon, 19 Sep 2016 09:49:22 +0200 Subject: [PATCH] Add command default, set and autoset for rosworkspace --- plugins/ros/ros.plugin.zsh | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) diff --git a/plugins/ros/ros.plugin.zsh b/plugins/ros/ros.plugin.zsh index 21fd3444f..3521abcf7 100644 --- a/plugins/ros/ros.plugin.zsh +++ b/plugins/ros/ros.plugin.zsh @@ -232,6 +232,30 @@ rosworkspace() { "$workspace_candidate" ;; + default) + local ros_workspace_default_tag='ros_workspace_default' + [ $# -ne 2 ] && >&2 echo "Usage : $0 default " && return 1 + [ ! -f "$workspace_candidate/.catkin_workspace" ] && \ + >&2 echo "Workspace $workspace_candidate does not exist" && return 3 + [ ! "$finded" ] && rosworkspace add "$workspace_candidate" + _omz_ros_config_set_line "$ros_workspace_default_tag" \ + "$workspace_candidate" + ;; + + set) + [ $# -ne 2 ] && \ + >&2 echo "Usage : $0 set " && return 1 + [ ! -f "$workspace_candidate/.catkin_workspace" ] && \ + >&2 echo "Workspace $workspace_candidate does not exist" && return 3 + source "$workspace_candidate/devel/setup.zsh" || return "$?" + ;; + + autoset) + [ $# -ne 1 ] && >&2 echo "Usage : $0 autoset" && return 1 + local ros_workspace_default=$(_omz_ros_config_get_line \ + 'ros_workspace_default') + [ "$ros_workspace_default" ] && \ + rosworkspace set "$ros_workspace_default" || return 3 ;; *)