swh:1:snp:7438b129d9cacb54440879827822fdf5f107e828
Raw File
Tip revision: 51c4d8fb7ad52b1c2f8d6e7d273273d5f768919f authored by Eric Lu on 16 November 2018, 10:51:55 UTC
correct the pixel to click on robot, slove the bug that optimization node wont send bot id
Tip revision: 51c4d8f
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
	[ -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.local:11311/
fi
echo "ROS_MASTER_URI set to $ROS_MASTER_URI"
back to top