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

Introduzione

• Utile per configurare uno script specifico o una sessione PHP tramite la riga di comando (CLI).
• Per modificare la versione PHP del server web (FPM/Apache) tramite il pannello di controllo, consulta questa guida.

Versione predefinita di PHP CLI

Il comando php utilizza la versione predefinita del server. Verifica la versione attiva con questo comando:

# Check current PHP version
php -v

Per garantire la stabilità dei tuoi script, utilizza un percorso esplicito (ad esempio: php8.2) oppure modifica la variabile PATH.

Modificare la versione di PHP in CLI

È possibile configurare la versione di PHP caricata automaticamente nella sessione SSH tramite due file principali.

1. Utilizzo di .bashrc (consigliato)

Il file ~/.bashrc viene letto all'apertura di una shell interattiva.

1. Aprire il file (o crearlo, se non esiste):

   touch ~/.bashrc
   nano ~/.bashrc

2. Aggiungi questa riga per definire la versione desiderata (ad esempio, con PHP 8.3):

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

3. Aggiorna la configurazione:

   source ~/.bashrc

4. Verifica la modifica:

   php -v
   which php

2. Utilizzo di .profile (alternativa)

Il file ~/.profile viene letto durante una connessione SSH (modalità login).

1. Modificare il file:

   nano ~/.profile

2. Aggiungi la riga di esportazione:

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

3. Caricare .bashrc in modo sistematico

Per applicare la configurazione a tutti i tipi di sessione, aggiungi questo codice nei tuoi file ~/.bash_profile o ~/.profile:

# Load .bashrc if it exists
if [ -f ~/.bashrc ]; then . ~/.bashrc; fi

Eseguire una versione specifica in modo occasionale

Per avviare uno script con una versione specifica senza modificare l'ambiente globale, richiamare direttamente il file eseguibile:

# Execute with a specific version
/opt/php8.2/bin/php my_script.php
/opt/php8.3/bin/php -v

Una volta completati questi passaggi, le sessioni SSH e gli script CLI utilizzeranno la versione di PHP selezionata come predefinita.