Revision e69a94a7f5ac4f9dea64f57159f26e7e25a1f375 authored by Andreas Aumiller on 22 December 2017, 15:49:40 UTC, committed by Andreas Aumiller on 22 December 2017, 15:49:40 UTC
1 parent d133b6a
set_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.local:11311/
else
echo "No hostname provided. Using $HOSTNAME."
export ROS_MASTER_URI=http://$HOSTNAME.local:11311/
fi
echo "ROS_MASTER_URI set to $ROS_MASTER_URI"
Computing file changes ...
