Webots Development Environment Variables

.bashrc

export WEBOTS_HOME=/home/tom/develop/$WEBOTS_VER
export LD_LIBRARY_PATH="/home/tom/develop/$WEBOTS_VER/lib"
export JAVA_HOME=/usr/lib/jvm/java-8-openjdk-amd64
export WEBOTS_ALLOW_MODIFY_INSTALLATION=true
export WEBOTS_DISABLE_SAVE_PERSPECTIVE_ON_CLOSE=1
alias web="cd $WEBOTS_HOME"
alias webots=/home/tom/develop/$WEBOTS_VER/webots

alias trans="web; git checkout -- $WEBOTS_HOME/resources/translations"
alias mks="make release -j 12 -C $WEBOTS_HOME/src/webots"
alias mkds="make debug -j 12 -C $WEBOTS_HOME/src/webots"
alias mkw="web; make release -j 12; trans"
alias mkdw="web; make debug -j 12; trans"
alias lbc="make release -j 12 -C $WEBOTS_HOME/src/lib/Controller"
alias mkc="web; make clean -j 12"
alias mkcs="make clean -j 12 -C $WEBOTS_HOME/src/webots"
alias remake="mkc; mkw"
alias remakes="mkcs; mks"
alias dbgw="gdb $WEBOTS_HOME/bin/webots-bin"
alias rmk="make clean -j 12; make release -j 12"
alias mast="export WEBOTS_VER=webots-master; source ~/.bashrc"
alias devl="export WEBOTS_VER=webots-develop; source ~/.bashrc"
alias sub="git submodule init; git submodule update"
alias rst="git checkout -- ."