Questa guida spiega come modificare la versione di PHP utilizzata tramite riga di comando (PHP CLI) su un hosting web Infomaniak.

Introduzione

• Questa configurazione consente di scegliere la versione di PHP utilizzata dagli script eseguiti tramite riga di comando via SSH.
• Per modificare la versione di PHP utilizzata dai siti (FPM/Apache) tramite il Manager, consulta questa guida.
• Il 21 ottobre 2026, il team PHP ha pubblicato nuove versioni che correggono due vulnerabilità critiche (❓: assistenza):
  • Le patch di sicurezza fornite dai team PHP sono state implementate con successo sull'intera infrastruttura condivisa e sui server cloud, per le versioni PHP 8.5, 8.4, 8.3, 8.2, 8.1, 8.0 e 7.4.
  • I numeri di versione di PHP rimangono invariati, ma le patch di sicurezza sono state applicate a tutti i servizi interessati.

Verificare la versione di PHP utilizzata tramite CLI

Il comando php utilizza il primo eseguibile PHP trovato nella variabile d'ambiente PATH. Per conoscere la versione utilizzata e la sua posizione, eseguire:

php -v
which php

Il numero visualizzato corrisponde alla versione dell'eseguibile utilizzato in CLI. Non corrisponde necessariamente alla versione configurata per i siti.

Verificare la data di compilazione e le patch di sicurezza

Per visualizzare la data di compilazione del file binario PHP utilizzato, eseguire il comando:

php -i | grep "Build Date"

Se si utilizza un percorso esplicito per una versione di PHP, è possibile verificarne anche la data di compilazione:

/opt/php8.3/bin/php -i | grep "Build Date"

Alcune correzioni di sicurezza potrebbero essere integrate da Infomaniak in un file binario PHP ricompilato, senza alcuna modifica del numero di versione visualizzato. Pertanto, una versione apparentemente più vecchia dell'ultima versione pubblicata ufficialmente (❓: guida) non significa necessariamente che le correzioni siano assenti.

Modificare la versione di PHP in CLI

È possibile scegliere la versione di PHP caricata per impostazione predefinita nelle sessioni SSH modificando la variabile d'ambiente PATH.

1. Modificare il file .bashrc (consigliato)

Il file ~/.bashrc contiene la configurazione delle sessioni Bash interattive.

1. Apri il file o crealo, se non esiste:

   nano ~/.bashrc

2. Aggiungi la seguente riga per utilizzare PHP 8.3, ad esempio:

   export PATH="/opt/php8.3/bin:$PATH"

3. Ricarica la configurazione:

   source ~/.bashrc

4. Verifica la versione e il percorso utilizzati:

   php -v
   which php

2. Caricare .bashrc al momento dell'accesso SSH (se necessario)

Se la sessione SSH non carica automaticamente ~/.bashrc, aggiungere il seguente codice nel file di configurazione utilizzato dalla shell, ad esempio ~/.bash_profile o ~/.profile:

if [ -f ~/.bashrc ]; then
    . ~/.bashrc
fi

Eseguire una versione specifica in modo occasionale

Per eseguire uno script con una versione specifica senza modificare la configurazione predefinita, indica direttamente il percorso del file eseguibile:

/opt/php8.2/bin/php my_script.php
/opt/php8.3/bin/php -v

La versione specificata in PATH verrà utilizzata per impostazione predefinita nelle sessioni che caricano questa configurazione. È comunque possibile eseguire un'altra versione specificandone il percorso completo.