4
ARB_XTERM='xterm -sl 1000 -sb'
6
ARB_XCMD='xterm -sl 1000 -sb -e'
12
###############################################################
13
## Additional options for Debian GNU/Linux
14
###############################################################
16
## Navigation after firing up arb might be a little bit clumsy
17
## Thus you are able to set a directory for all users as default
19
# ARBUSERDATA=${HOME}/arb