Skip to content

Instantly share code, notes, and snippets.

@varhub

varhub/jderobot-init.env

Created February 28, 2015 13:01
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save varhub/29c369659d133dafe3df to your computer and use it in GitHub Desktop.
Save varhub/29c369659d133dafe3df to your computer and use it in GitHub Desktop.
Download ZIP
JdeRobot dev env setup (source it!)
Raw
jderobot-init.env
# push into 'isolated' workspace
echo $HOME | grep -q $(pwd) || export HOME=$(pwd)
# setup gazebo env
. /usr/local/share/jderobot/gazebo/gazebo-setup.sh
# for chroot envs...
[ -z $DISPLAY ] && export DISPLAY=:0
# verbose exit
echo "JdeRobot env started"
# Terminal launcher
./terminal-invoker.sh
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment