Merge pull request #269 from shivammathur/develop

Hotfix
This commit is contained in:
Shivam Mathur 2020-08-08 16:53:35 +05:30 committed by GitHub
commit 975f42da8e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions

View File

@ -241,7 +241,7 @@ version=$1
nodot_version=${1/./}
old_versions="5.[3-5]"
tool_path_dir="/usr/local/bin"
curl_opts=(-sSL --retry 5)
curl_opts=(-sL)
existing_version=$(php-config --version 2>/dev/null | cut -c 1-3)
read_env

View File

@ -398,7 +398,7 @@ debconf_fix="DEBIAN_FRONTEND=noninteractive"
github="https://github.com/shivammathur"
apt_install="sudo $debconf_fix apt-fast install -y"
tool_path_dir="/usr/local/bin"
curl_opts=(-sSL --retry 5)
curl_opts=(-sL)
existing_version=$(php-config --version 2>/dev/null | cut -c 1-3)
read_env