add_log() { mark=$1 subject=$2 message=$3 if [ "$mark" = "$tick" ]; then printf "\033[32;1m%s \033[0m\033[34;1m%s \033[0m\033[90;1m%s\033[0m\n" "$mark" "$subject" "$message" else printf "\033[31;1m%s \033[0m\033[34;1m%s \033[0m\033[90;1m%s\033[0m\n" "$mark" "$subject" "$message" fi } update_ppa() { if [ "$ppa_updated" = "false" ]; then find /etc/apt/sources.list.d -type f -name 'ondrej-ubuntu-php*.list' -exec sudo DEBIAN_FRONTEND=noninteractive apt-get update -o Dir::Etc::sourcelist="{}" ';' >/dev/null 2>&1 ppa_updated="true" fi } install_phalcon() { extension=$1 version=$2 (sudo DEBIAN_FRONTEND=noninteractive apt-get install -y "php$version-$extension" >/dev/null 2>&1 && add_log "$tick" "$extension" "Installed and enabled") || (update_ppa && sudo DEBIAN_FRONTEND=noninteractive apt-get install -y "php$version-$extension" >/dev/null 2>&1 && add_log "$tick" "$extension" "Installed and enabled") || add_log "$cross" "$extension" "Could not install $extension on PHP $semver" } remove_extension() { extension=$1 sudo sed -i "/$extension/d" "$ini_file" rm -rf "$ext_dir/$extension.so" } ini_file=$(php --ini | grep "Loaded Configuration" | sed -e "s|.*:s*||" | sed "s/ //g") ext_dir=$(php -i | grep "extension_dir => /usr" | sed -e "s|.*=> s*||") semver=$(php -v | head -n 1 | cut -f 2 -d ' ' | cut -f 1 -d '-') extension_major_version=$(echo "$1" | grep -i -Po '\d') ppa_updated="false" tick="✓" cross="✗" if [ "$extension_major_version" = "4" ]; then if [ -e "$ext_dir/psr.so" ]; then echo "extension=psr" >>"$ini_file" fi if [ -e "$ext_dir/phalcon.so" ]; then if php -m | grep -i -q -w psr; then echo "extension=phalcon" >>"$ini_file" phalcon_version=$(php -r "echo phpversion('phalcon');" | cut -d'.' -f 1) if [ "$phalcon_version" != "$extension_major_version" ]; then remove_extension "psr" >/dev/null 2>&1 remove_extension "phalcon" >/dev/null 2>&1 install_phalcon "$1" "$2" else add_log "$tick" "$1" "Enabled" fi else install_phalcon "$1" "$2" fi else install_phalcon "$1" "$2" fi fi if [ "$extension_major_version" = "3" ]; then if [ -e "$ext_dir/phalcon.so" ]; then echo "extension=phalcon" >>"$ini_file" phalcon_version=$(php -r "echo phpversion('phalcon');" | cut -d'.' -f 1) if [ "$phalcon_version" != "$extension_major_version" ]; then remove_extension "phalcon" >/dev/null 2>&1 install_phalcon "$1" "$2" else add_log "$tick" "$1" "Enabled" fi else install_phalcon "$1" "$2" fi fi