Revision bac11fe6c4cfcd73ac656c40797fa4b7b570a0f8 authored by Andrea Censi on 19 April 2016, 01:12:11 UTC, committed by Andrea Censi on 19 April 2016, 01:12:11 UTC
1 parent 0c37fc5
environment.sh
#!/bin/bash
echo "Activating ROS..."
source /opt/ros/indigo/setup.bash
echo "...done."
echo "Setting up PYTHONPATH."
export PYTHONPATH=/home/ubuntu/duckietown/catkin_ws/src:$PYTHONPATH
echo "Setup ROS_HOSTNAME."
export ROS_HOSTNAME=$HOSTNAME.local
export DUCKIETOWN_ROOT=$HOME/duckietown
echo "Building machines file..."
make -C $DUCKIETOWN_ROOT
echo "...done"
echo "Activating development."
source $DUCKIETOWN_ROOT/catkin_ws/devel/setup.bash
# TODO: check that the time is >= 2015
# TODO: run a python script that checks all libraries are installed
exec "$@" #Passes arguments. Need this for ROS remote launching to work.
Computing file changes ...