DOKK / manpages / debian 10 / theme-d-translator / get-theme-d-config-var.1.en
GET_THEME_D_CONFIG_VAR(1) Theme-D GET_THEME_D_CONFIG_VAR(1)

get-theme-d-config-var - get Theme-D configuration variable

get-theme-d-config-var VAR

Command get-theme-d-config-var fetches the value of a configuration variable VAR from the Theme-D configuration file. The value of the variable is printed to the standard output. If the variable does not exist in the configuration file the command is terminated with a runtime error. The Theme-D configuration variables are the following:

The Guile version used by Theme-D.
The location of the compiler and linker implementations.
The location of the Theme-D runtime environment.
The location of the Theme-D standard library.
The location of the Theme-D examples.
The location of the Theme-D tests.
The location of the Theme-D tools.
Theme-D compiler path.
Theme-D linker path.
Theme-D run script path.
#t if the support library is used, #f otherwise.
The size of the native GOOPS class hash table.
The size of the Theme-D GOOPS class hash table.

If this variable is defined its value is used as the Theme-D configuration file instead of the default configuration file.

/etc/theme-d-config
The Theme-D configuration file.
~/.theme-d-config
The Theme-D configuration file. This file should be normally present only if you use Theme-D in local mode.

setup-theme-d-test-env(1), theme-d-compile(1), theme-d-link(1), run-theme-d-program(1), /usr/share/doc/theme-d-doc/theme-d-user-guide.pdf.gz

2018-10-03 GNU