Revision 3924567f8fbc73bb2a1e40ce26712b4922761c05 authored by sonja on 12 January 2018, 13:27:12 UTC, committed by sonja on 12 January 2018, 13:27:12 UTC
1 parent 36a34fe
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"
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...