bugfix: make grep not fail

diff --git a/_webi/template.sh b/_webi/template.sh
index 3750dd0cc9d70026a176d5e1b1ef485f6b5ccd45..6c166542929a6b2dc6df1917bec3892397867d74 100644 (file)
--- a/_webi/template.sh
+++ b/_webi/template.sh
@@ -205,7 +205,7 @@ webi_path_add() {
 
     # in case pathman was recently installed and the PATH not updated
     mkdir -p "$_webi_tmp"
-    "$HOME/.local/bin/pathman" add "$1" | grep "export" >> "$_webi_tmp/.PATH.env"
+    "$HOME/.local/bin/pathman" add "$1" | grep "export" >> "$_webi_tmp/.PATH.env" || true
 }
 
 # group common pre-install tasks as default