WorkBench accepts its configuration from environment variables which have the prefix WORKBENCH_
. WorkBench comes with sane defaults and external configuration is optional.
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.
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.