From 1e38f9c5e9a9b6412ea06525281119a70ca5135d Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Tue, 16 Jan 2024 10:51:51 +0100
Subject: [PATCH] no longer use egrep in upgrade-swap.sh

---
 zz-devel/upgrade-swap.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/zz-devel/upgrade-swap.sh b/zz-devel/upgrade-swap.sh
index 8d9e14b..22236a5 100755
--- a/zz-devel/upgrade-swap.sh
+++ b/zz-devel/upgrade-swap.sh
@@ -215,7 +215,7 @@ function status() {
         systemctl is-enabled $service
     done
     echo '===== sitesettings configuration ====='
-    egrep '^(production_box)' $CONFIG
+    grep -E '^(production_box)' $CONFIG
     echo '===== data space ====='
     ls -l /nbhosting/current
 }