From 93c7e386e8b2b143b441a76390066ee251fcc2a1 Mon Sep 17 00:00:00 2001 From: "Jivin.L" <45867423+JivinDotL@users.noreply.github.com> Date: Thu, 2 Mar 2023 06:29:58 +0800 Subject: [PATCH] install-php-extensions: 3856: !grep: not found (#709) --- install-php-extensions | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/install-php-extensions b/install-php-extensions index 8781cd7..e9e2379 100755 --- a/install-php-extensions +++ b/install-php-extensions @@ -3853,7 +3853,7 @@ invokeAptGetUpdate() { return fi IPE_APTGET_INSTALLOPTIONS='' - if !grep -q 'VERSION="8 (jessie)"' /etc/os-release; then + if ! grep -q 'VERSION="8 (jessie)"' /etc/os-release; then DEBIAN_FRONTEND=noninteractive apt-get update -q return fi