From db1467b8fd704c7cc59b462d108699712a8f481a Mon Sep 17 00:00:00 2001
From: Jephte Clain <Jephte.Clain@univ-reunion.fr>
Date: Sat, 18 Nov 2023 06:58:58 +0400
Subject: [PATCH] bug

---
 lib/dkbuild/dot-dkbuild.env | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/lib/dkbuild/dot-dkbuild.env b/lib/dkbuild/dot-dkbuild.env
index 5b6f615..1a8bd57 100644
--- a/lib/dkbuild/dot-dkbuild.env
+++ b/lib/dkbuild/dot-dkbuild.env
@@ -1,4 +1,11 @@
 # -*- coding: utf-8 mode: sh -*- vim:sw=4:sts=4:et:ai:si:sta:fenc=utf-8
+_valid_profiles=(
+    prod test devel
+    jclain
+)
+_default_profile=devel
+[ -z "$DKBUILD_NO_SETPROFILES" ] && setprofiles "$_default_profile" "${_valid_profiles[@]}"
+
 if profile jclain; then
     setenv REGISTRY=docker.jclain.fr
     setenv PRIVAREG=docker.jclain.fr
@@ -12,7 +19,7 @@ elif profile prod test; then
         git.univ-reunion.fr:10.85.1.55
     )
     default docker host-mappings="${host_mappings[*]}"
-else
+elif profile devel; then
     setenv REGISTRY=docker.devel.self
     setenv PRIVAREG=docker.devel.self
 fi