Odig_support.Env
Odig environment variables.
b0_cache_dir
is the environment variable that can be used to define the odig b0 cache directory.
b0_log_file
is the environment variable that can be used to define the odig b0 log_file.
cache_dir
is the environment variable that can be used to define the odig cache directory.
odoc_theme
is the environment variable that can be used to define the default odoc theme.
share_dir_env
is the environment variable that can be used to define a share dir.