diff options
Diffstat (limited to 'porteur.conf.sample')
| -rw-r--r-- | porteur.conf.sample | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/porteur.conf.sample b/porteur.conf.sample index 5baedcf..dde3802 100644 --- a/porteur.conf.sample +++ b/porteur.conf.sample @@ -31,6 +31,10 @@ category = tsne # If none is configured, the `main` branch is used as default value. git-branch = porteur +# The location of the make.conf file. +# If none is configured, `/etc/make.conf` will be used as default value. +make.conf = /etc/make.conf + # When editing configuration files or variables, porteur needs to know which # editor to use. Per default porteur tries to determine the editor from the # environment. It reads the VISUAL or the EDITOR environment variable (in |