Configuration file


The VLE configuration file provides preferences that users can set. You can find this file into the VLE_HOME directory: VLE_HOME/vle.conf. There are shared for all the projects on your computer. Each line represents one preference, the format is the following variable=value. The difference preferences are listed below:
gvle.editor.font=Monospace 10
gvle.editor.indent-size=4 10
vle.daemon.processes=1 --build '%1%'  --target all
vle.packages.clean=cmake --build '%1%' --target clean
vle.packages.install=cmake --build '%1%' --target install
vle.packages.package=cmake --build '%1%' --target package_source
vle.packages.test=cmake --build '%1%' --target test

How to modify the preferences.

There are two possibilities for modifying the preferences:

  • You can directly edit the vle.conf file, or You can use the [vle
  • CLI](vle-cli) in configuration mode. For example, the following command will
  • modify the font of the gvle program.
vle -C gvle.editor.font=Monospace 9

In these two cases, the modification can lead to dysfunctions of VLE. To reset the preferences, simply remove the vle.conf file and call vle --restart from the CLI.

The GVLE preferences

The preferences that starts with gvle.* stands for graphical preferences of GVLE. The GVLE application provides tools to modify them, but you can directly set these preferences.

The packages preferences

The package preferences (starting with vle.packages.*) are essentially preferences for the building process of packages. For example if you want to use parallel build of make you can use the following command (in this example using 3 threads):

vle -C --build '%1%'  --target all -- -j3

The remote preferences

The remote preferences (starting with vle.remote.*) are the preferences related to the remote features of VLE. You can for example add remote URL pointing to a package distribution.