fix: use GNU grep instead of busybox
This commit is contained in:
parent
7e27e06bb6
commit
8956746af3
|
@ -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/"
|
||||
|
|
Loading…
Reference in New Issue