Revision 73849ea172630663344648242ad85ddb0fb46c7f authored by Liam Paull on 10 November 2018, 16:48:19 UTC, committed by GitHub on 10 November 2018, 16:48:19 UTC
2set_ros_master.sh
#!/usr/bin/env bash
echo "Setting ROS_MASTER_URI..."
if [ $# -gt 0 ]; then
# provided a hostname, use it as ROS_MASTER_URI
export ROS_MASTER_URI=http://$1.autolab.ethz.ch:11311/
else
[ -z "$HOSTNAME" ] && { echo -e "\n\nThe variable HOSTNAME is not set. I need this info for setting up ROS. \n\n\n\n"; return 2; }
echo "No hostname provided. Using $HOSTNAME."
export ROS_MASTER_URI=http://$HOSTNAME.autolab.ethz.ch:11311/
fi
echo "ROS_MASTER_URI set to $ROS_MASTER_URI"
Computing file changes ...