From cdb6bf6e9480adb67abd134e78842ec04316f47e Mon Sep 17 00:00:00 2001
From: maxice8 <thinkabit.ukim@gmail.com>
Date: Sun, 14 Apr 2019 08:05:31 -0300
Subject: [PATCH] 00-compress-info-files.sh: replace echo | grep with [[ ]]

---
 common/hooks/post-install/00-compress-info-files.sh | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/common/hooks/post-install/00-compress-info-files.sh b/common/hooks/post-install/00-compress-info-files.sh
index 7cc0c90c620..ee394a8c901 100644
--- a/common/hooks/post-install/00-compress-info-files.sh
+++ b/common/hooks/post-install/00-compress-info-files.sh
@@ -21,12 +21,11 @@ hook() {
 		[ "$j" = "" ] && continue
 		[ "$j" = "/usr/share/info/dir" ] && continue
 		# Ignore compressed files.
-		if $(echo "$j"|grep -q '.*.gz$'); then
+		if  [[ "$j" =~ .*.gz$ ]]; then
 			continue
 		fi
 		# Ignore non info files.
-		if ! $(echo "$j"|grep -q '.*.info$') && \
-			! $(echo "$j"|grep -q '.*.info-[0-9]*$'); then
+		if ! [[ "$j" =~ .*.info$ ]] && ! [[ "$j" =~ .*.info-[0-9]*$ ]]; then
 			continue
 		fi
 		if [ -h ${PKGDESTDIR}/"$j" ]; then