fix: use GNU grep instead of busybox
This commit is contained in:
parent
cbb03d946c
commit
b3eb8324ae
|
@ -4,6 +4,20 @@
|
|||
|
||||
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/"
|
||||
|
|
Loading…
Reference in New Issue