From d51efb55e3c5cf93de9c43934532c625e8222ca0 Mon Sep 17 00:00:00 2001
From: "Hahn Axel (hahn)" <axel.hahn@unibe.ch>
Date: Mon, 18 Mar 2024 14:07:57 +0100
Subject: [PATCH] remove space

---
 localdump.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/localdump.sh b/localdump.sh
index e80867c..35028d0 100755
--- a/localdump.sh
+++ b/localdump.sh
@@ -569,7 +569,7 @@ EOH
             # if there is a single dump in backup folder: 
             # '-rw-r--r-- 1 root root 481 Mar 13 12:27 ahcrawler__20240313-1227.sql.gz'
             # --> take the last part behind the last space to get a filename
-            grep "[rwxsSt\-]{10,}  " <<< "$LASTINPUT" \
+            grep "[rwxsSt\-]{10,} " <<< "$LASTINPUT" \
                 && dbfile="$(rev <<< \'"$LASTINPUT"\' | cut -d ' ' -f 1 | rev)"
             echo
   
-- 
GitLab