--- /dev/null
+#!/bin/zsh
+
+function rosinit() {
+ local ROS_DISTRO=hydro
+ local WORKSPACE=~/src/ros
+ if [[ -f "/opt/ros/$ROS_DISTRO/setup.zsh" ]]; then
+ export ROS_OS_OVERRIDE=arch
+ source /opt/ros/$ROS_DISTRO/setup.zsh
+ source $WORKSPACE/devel/setup.zsh
+ export ROS_WORKSPACE=$WORKSPACE
+ roscd
+ else
+ echo "ROS $ROS_DISTRO doesn't seem to be installed." >&2
+ fi
+}