Revision f91ae6f3c641a6d21c3d0c1718fa982698629c2a authored by nicolaslanzetti on 06 December 2017, 19:27:16 UTC, committed by nicolaslanzetti on 06 December 2017, 19:27:16 UTC
1 parent a6961dd
set_vehicle_name.sh
#!/usr/bin/env bash
echo "Setting VEHICLE_NAME..."
if [ $# -gt 0 ]; then
# provided a hostname, use it as ROS_MASTER_URI
export VEHICLE_NAME=$1
else
echo "No hostname provided. Using $HOSTNAME."
export VEHICLE_NAME=$HOSTNAME
fi
echo "VEHICLE_NAME set to $VEHICLE_NAME"
Computing file changes ...