SHARE
TWEET

Untitled

a guest Nov 2nd, 2011 241 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. #!/bin/bash
  2. # IT IS UNLIKELY YOU WANT TO EDIT THIS FILE BY HAND
  3. # IF YOU WANT TO CHANGE THE ROS ENVIRONMENT VARIABLES
  4. # EDIT "setup.sh" IN THIS DIRECTORY.
  5.  
  6. # Load the path of this particular setup.bash                                                                                                                  
  7.  
  8. SCRIPT_PATH="${BASH_SOURCE[0]}";
  9. if([ -h "${SCRIPT_PATH}" ]) then
  10.   while([ -h "${SCRIPT_PATH}" ]) do SCRIPT_PATH=`readlink "${SCRIPT_PATH}"`; done
  11. fi
  12. pushd . > /dev/null
  13. cd `dirname ${SCRIPT_PATH}` > /dev/null
  14. SCRIPT_PATH=`pwd`;
  15. popd  > /dev/null
  16.  
  17.  
  18. . $SCRIPT_PATH/setup.sh
  19.  
  20. if [ -e ${ROS_ROOT}/tools/rosbash/rosbash ]; then
  21.   . ${ROS_ROOT}/tools/rosbash/rosbash
  22. fi
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top