fix: check installed grep is GNU variant
This commit is contained in:
parent
aa48d9aea0
commit
a4b04fcb7a
|
@ -10,18 +10,30 @@ else
|
|||
fi
|
||||
|
||||
|
||||
## 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"
|
||||
## Use GNU grep, busybox grep is not as performant
|
||||
DISTRO=""
|
||||
if [ -f "/etc/os-release" ]; then
|
||||
. "/etc/os-release"
|
||||
DISTRO="$ID"
|
||||
fi
|
||||
|
||||
check_grep() {
|
||||
if [ -z "$(grep --help | grep 'GNU')" ]; then
|
||||
if [ -x "/usr/bin/grep" ]; then
|
||||
alias grep="/usr/bin/grep"
|
||||
check_grep
|
||||
else
|
||||
if [ "$DISTRO" = "alpine" ]; then
|
||||
echo "Please install GNU grep 'apk add grep'"
|
||||
else
|
||||
echo "GNU grep not found"
|
||||
fi
|
||||
exit 1
|
||||
fi
|
||||
fi
|
||||
}
|
||||
check_grep
|
||||
|
||||
|
||||
rm -rf "tmp/"
|
||||
mkdir -p "tmp/"
|
||||
|
|
Loading…
Reference in New Issue