install-php-extensions: 3856: !grep: not found (#709)

pull/712/head 2.1.2
Jivin.L 2023-03-02 06:29:58 +08:00 committed by GitHub
parent 80d21832a3
commit 93c7e386e8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -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