fix: use GNU grep instead of busybox
This commit is contained in:
parent
9e2b591494
commit
15338af949
|
@ -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
|
||||
|
||||
|
||||
mkdir -p "tmp/"
|
||||
cd "tmp/"
|
||||
|
||||
|
|
Loading…
Reference in New Issue