From 20bac19c84baefef76997d616c65b2bba0d64b6f Mon Sep 17 00:00:00 2001
From: Guillaume Raffy <guillaume.raffy@univ-rennes1.fr>
Date: Wed, 13 Dec 2023 11:19:33 +0100
Subject: [PATCH] changed the location of debops environment file so that
 debops always uses it

fixes https://bugzilla.ipr.univ-rennes.fr/show_bug.cgi?id=3719
---
 home/bin/deboco | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/home/bin/deboco b/home/bin/deboco
index 5b66ade..1ddf91e 100755
--- a/home/bin/deboco
+++ b/home/bin/deboco
@@ -157,7 +157,8 @@ controller__get_virtualenv_path()
 controller__get_debops_env_path()
 {
 	local debops_controller_path="$1"
-	echo "${debops_controller_path}/debops-environment"
+	local local_repos_path=$(controller__get_local_repos_path "${debops_controller_path}")
+	echo "${local_repos_path}/.env"  # see the allowed locations in man debops-config
 }
 
 deboco__init()