From 8956746af3f6aef94439afde8d819c86f5bdfa20 Mon Sep 17 00:00:00 2001 From: Ming Di Leom <2809763-curben@users.noreply.gitlab.com> Date: Thu, 13 Jan 2022 06:05:16 +0000 Subject: [PATCH] fix: use GNU grep instead of busybox --- src/script.sh | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/src/script.sh b/src/script.sh index 2649fdd..64e6c36 100644 --- a/src/script.sh +++ b/src/script.sh @@ -5,6 +5,19 @@ set -efux -o pipefail +## Use GNU grep, busybox grep is too slow +. "/etc/os-release" +DISTRO="$ID" + +if [ -z "$(grep --help | grep 'GNU')" ]; then + if [ "$DISTRO" = "alpine" ]; then + echo "Please install GNU grep 'apk add grep'" + exit 1 + fi + alias grep="/usr/bin/grep" +fi + + ## Create a temporary working folder mkdir -p "tmp/" cd "tmp/"