From 4ec625a8a1d7cae2be1a9d8a2bba25955a581b70 Mon Sep 17 00:00:00 2001 From: vic1707 Date: Thu, 14 Sep 2023 10:36:37 +0200 Subject: replace `grep -P` by `grep -E` --- scripts/get.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'scripts') diff --git a/scripts/get.sh b/scripts/get.sh index 34b6eef68..7440c072d 100755 --- a/scripts/get.sh +++ b/scripts/get.sh @@ -104,7 +104,7 @@ get_host_speed() { if [ `uname` == "Darwin" ]; then ping -c 1 -t 1 $1 2>/dev/null | egrep -o 'time=\d+' | egrep -o "\d+" || echo "65535" else - ping -c 1 -W 1 $1 2>/dev/null | grep -P -o 'time=\d+' | grep -P -o "\d+" || echo "65535" + ping -c 1 -W 1 $1 2>/dev/null | grep -E -o 'time=[0-9]+' | grep -E -o "[0-9]+" || echo "65535" fi } -- cgit v1.3.1