Configuration¶
WorkBench accepts its configuration from environment variables which
have the prefix WORKBENCH_
. WorkBench comes with sane defaults
and external configuration is optional.
Configuration using rcfile¶
WorkBench can also source an rcfile on invocation. The default location
for the rcfile is $HOME/.workbenchrc
. If a file at the default
location exists, then it is automatically sourced.
A custom rcfile can be specified using the environment variable
WORKBENCH_RC
pointing to a file that already exists.
The rcfile can be used to define multiple configuration parameters at once.
Note
The rcfile overrides environment variables defined in the shell.
A full list of configurable parameters are available in subsequent chapters.
The WorkBench Home directory¶
WorkBench operates on files inside a directory defined by WORKBENCH_HOME
.
If WORKBENCH_HOME
is undefined, the default home directory
$HOME/.workbench
is used. WorkBench automatically creates the
necessary folder(s) on invocation.