From c45078fbe786805f5b0ae903450f9719f9587864 Mon Sep 17 00:00:00 2001
From: levasseur <geoffray.levasseur@obs-mip.fr>
Date: Mon, 25 Oct 2021 15:50:18 +0200
Subject: [PATCH] moved an init.sh function to newly created utils.sh

---
 init.sh | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/init.sh b/init.sh
index 43db7e0..def690a 100755
--- a/init.sh
+++ b/init.sh
@@ -31,7 +31,7 @@ set -o errexit
 # to be complete (even if it's bad practice)
 set +o nounset
 
-# We want english messages
+# We want english messages, all the time (can be redefined in configuration)
 export LC_ALL=C
 export LANG=C
 
@@ -54,12 +54,6 @@ unset lib
 # ==== Basic sanity checks ====
 # =============================
 
-# Check if a function exists, return 0 if so
-function_exists() {
-    declare -f -F $1 > /dev/null
-    return $?
-}
-
 function_exists prnt || (
     echo "*** ERREUR FATALE !"
     echo "*** Il manque des fonctions vitales venant des bibliothèques."