dkbuild: les fichiers d'environnement par défaut ont l'extension .env

This commit is contained in:
Jephté Clain 2022-07-21 11:46:01 +04:00
parent 2ae8406a4b
commit 1699cc5f44
1 changed files with 3 additions and 3 deletions

View File

@ -64,8 +64,8 @@ $scriptname build [OPTIONS] [BUILDVARS...]
ce fichier est lu de la même façon qu'un fichier de configuration ce fichier est lu de la même façon qu'un fichier de configuration
-c, --config CONFIG -c, --config CONFIG
Lire un fichier de configuration au format dkbuild. Si cette option Lire un fichier de configuration au format dkbuild. Si cette option
n'est pas spécifiée, les fichiers ~/.dkbuild et /etc/dkbuild sont testés n'est pas spécifiée, les fichiers ~/.dkbuild.env et /etc/dkbuild.env
dans l'ordre et automatiquement sélectionnés s'ils existent. sont testés dans l'ordre et automatiquement sélectionnés s'ils existent.
L'ordre de priorité est le suivant: L'ordre de priorité est le suivant:
- d'abord les variables spécifiées avec --env et --arg, - d'abord les variables spécifiées avec --env et --arg,
- puis les variables définies dans ce fichier de configuration, - puis les variables définies dans ce fichier de configuration,
@ -1030,7 +1030,7 @@ function ensure_projdir() {
setx CONFIG=abspath "$CONFIG" setx CONFIG=abspath "$CONFIG"
else else
local config local config
for config in ~/.dkbuild /etc/dkbuild; do for config in ~/.dkbuild.env /etc/dkbuild.env; do
if [ -f "$config" ]; then if [ -f "$config" ]; then
CONFIG="$config" CONFIG="$config"
break break