Skip to main content

Browse the archive

Revision f91ae6f3c641a6d21c3d0c1718fa982698629c2a authored by nicolaslanzetti on 06 December 2017, 19:27:16 UTC, committed by nicolaslanzetti on 06 December 2017, 19:27:16 UTC 
DEMO WORKINGgit add .git add .git add .git add .
1 parent a6961dd
Raw File
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"
back to top