From 39302bca6177262a9a4c4f58fea1126b1741202a Mon Sep 17 00:00:00 2001
From: Jephte Clain <Jephte.Clain@univ-reunion.fr>
Date: Thu, 27 Feb 2025 11:38:13 +0400
Subject: [PATCH] filtrer les commits d'une branche technique

---
 bash/src/pman.sh | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/bash/src/pman.sh b/bash/src/pman.sh
index a6b062e..d4e00ae 100644
--- a/bash/src/pman.sh
+++ b/bash/src/pman.sh
@@ -33,7 +33,13 @@ Ces lignes ne seront pas incluses dans le fichier destination
 
 function _filter_rel() {
     # enlever les commits "techniques" générés par ce script
-    grep -vE '<pman>'
+    awk '
+BEGIN { tech = 0 }
+tech == 0 && $0 ~ /^\+.*<pman>/ { tech = 1; next }
+tech == 1 && $0 ~ /^\|/ { next }
+tech == 1 && $0 ~ /^\+/ { tech = 0 }
+$0 !~ /<pman>/ { print }
+'
 }
 
 function _filter_changes() {