Questa guida spiega come modificare la versione PHP direttamente dalla linea di comando quando si eseguono script PHP utilizzando PHP CLI (Interfaccia della Linea di Comando) su un Hosting Web Infomaniak.

Premessa

• Può essere utile quando è necessario modificare temporaneamente alcuni parametri per uno script specifico o per una sessione PHP.
• Se si utilizza solo la menzione php qui sotto, verrà installata la versione precedente a quella già in uso (ultima versione -1): se l'ultima versione installata è l'8.1, sarà utilizzata la 8.0 con "php". È preferibile utilizzare la menzione php-7.0, php-7.1, ecc. affinché la versione non cambi con gli aggiornamenti.
• Consultate questa guida se stai cercando informazioni sulla configurazione della versione di PHP definita su Manager Infomaniak.
   

Modificare la versione di PHP utilizzata in CLI

È possibile modificare facilmente la versione di PHP utilizzata in linea di comando (CLI) tramite SSH:

1. Connettersi al server tramite SSH (hai bisogno di aiuto?).

2. Crea un file .profile se non esiste:

   touch ~/.profile

3. Modifica il file .profile:

   nano ~/.profile

4. Aggiungi questo codice all'interno del file per scegliere la versione di php desiderata:

   export PATH=/opt/php7.4/bin:$PATH

5. Carica il file .profile:

   source ~/.profile

6. Verifica la versione di php:

   php -v

Modalità interattiva

Il file .profile menzionato sopra viene caricato solo quando viene utilizzata l'interfaccia utente. In SSH (modalità di accesso), è il file .bash_profile che viene utilizzato. In modalità interattiva (non-login), è il file .bashrc che viene utilizzato.

Alcuni script di distribuzione sul server aprono le sessione in modalità interattiva (non-login) e le variabili d'ambiente non vengono caricate nel PATH anche se la sessione SSH è configurata correttamente.

In questo caso è necessario caricare la versione php nel file .bashrc (export PATH="/opt/php7.4/bin:$PATH"), e sorgere nei file >.bash_profile e .profile il file .bashrc (. ~/.bashrc).

Dopo aver seguito questi passaggi, la versione di PHP che hai specificato dovrebbe essere caricata nel tuo ambiente shell ogni volta che apri una nuova sessione. Questo ti permetterà di eseguire script utilizzando questa versione di PHP in linea di comando (CLI).