From 190220c10d024516a34ce37fa041ecebf8be1d01 Mon Sep 17 00:00:00 2001 From: Shivam Mathur Date: Fri, 22 May 2020 15:46:30 +0530 Subject: [PATCH] Create ini file using tee instead of touch --- src/scripts/linux.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/scripts/linux.sh b/src/scripts/linux.sh index af177f2d..e8aca9b4 100644 --- a/src/scripts/linux.sh +++ b/src/scripts/linux.sh @@ -403,6 +403,6 @@ ext_dir=$(php -i | grep "extension_dir => /" | sed -e "s|.*=> s*||") scan_dir=$(php --ini | grep additional | sed -e "s|.*: s*||") ini_file=$(php --ini | grep "Loaded Configuration" | sed -e "s|.*:s*||" | sed "s/ //g") pecl_file="$scan_dir"/99-pecl.ini -sudo touch "$pecl_file" >/dev/null 2>&1 +echo '' | sudo tee "$pecl_file" sudo chmod 777 "$ini_file" "$pecl_file" "$tool_path_dir" add_log "$tick" "PHP" "$status PHP $semver"