ROS config for Linux
Merge branch 'master' of https://github.com/jlopezr/bash-config