actions/setup-php
1
0
Fork 0
mirror of https://github.com/shivammathur/setup-php.git synced 2024-11-26 13:23:05 +07:00
Code Issues Packages Projects Releases Wiki Activity

Fix logging in add_pdo_extension in linux.sh

Browse Source
This commit is contained in:
Shivam Mathur 2020-12-14 22:33:39 +05:30
parent 569522d50d
commit 77aeac1761
No known key found for this signature in database
GPG Key ID: 3E13E4C8591ACC2A
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/scripts/linux.sh
View File

@ -82,7 +82,7 @@ add_pdo_extension() {
ext=$1 ext=$1
ext_name=$1 ext_name=$1
sudo rm -rf "$scan_dir"/*pdo.ini >/dev/null 2>&1 sudo rm -rf "$scan_dir"/*pdo.ini >/dev/null 2>&1
if ! check_extension "pdo" 2>/dev/null; then echo "extension=pdo.so" | sudo tee -a "${ini_file[@]}"; fi if ! check_extension "pdo" 2>/dev/null; then echo "extension=pdo.so" | sudo tee -a "${ini_file[@]}" >/dev/null 2>&1; fi
if [ "$ext" = "mysql" ]; then if [ "$ext" = "mysql" ]; then
enable_extension "mysqlnd" "extension" enable_extension "mysqlnd" "extension"
ext_name="mysqli" ext_name="mysqli"