possibilité d'ignorer les fichiers defaults

2025-02-21 03:49:53 +04:00 · 2025-02-21 03:49:53 +04:00 · 0faf1b1642
commit 0faf1b1642
parent 7fe3f266d5
1 changed files with 9 additions and 6 deletions
--- a/runphp/runphp
+++ b/runphp/runphp
@ -276,12 +276,15 @@ function host_init_env() {
            ;;
        esac
    }
-    envs=(
-        /etc/default/dkbuild
-        ~/etc/default.${HOSTNAME%%.*}/dkbuild
-        ~/etc/default/dkbuild
-        ~/.dkbuild.env
-    )
+    envs=()
+    if [ -z "$RUNPHP_IGNORE_DEFAULTS" ]; then
+        envs+=(
+            /etc/default/dkbuild
+            ~/etc/default.${HOSTNAME%%.*}/dkbuild
+            ~/etc/default/dkbuild
+        )
+    fi
+    envs+=(~/.dkbuild.env)
    for env in "${envs[@]}"; do
        [ -f "$env" ] && source "$env"
    done