addToBashrc() { if ! grep -qF "$1" "$HOME/.bashrc"; then echo "$1" >> $HOME/.bashrc fi }
wstool init src sudo apt-get install python-catkin-tools python-rosinstall-generator -y wstool init ~/rpl_ws/src wstool update -t src -j4 rosdep install --from-paths src --ignore-src -y source ./src/mavros/mavros/scripts/install_geographiclib_datasets.sh
cd ~/rpl_ws/src/px4 make posix_sitl_default gazebo
addToBashrc "source $HOME/rpl_ws/devel/setup.bash"