Advertisement
Guest User

Untitled

a guest
Nov 2nd, 2011
362
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Bash 0.67 KB | None | 0 0
  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
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement