Modificare la versione di PHP in CLI

Questa guida spiega come Modificare la versione PHP direttamente a riga di comando quando si eseguono script PHP utilizzando PHP CLI (Interfaccia riga di comando) su un Web hosting Infomaniak.

Preambolo

• Questo può essere utile quando è necessario modificare temporaneamente alcune impostazioni per uno script specifico o per una sessione PHP.
• Se si utilizza solo la menzione php di seguito è la versione precedente a quella già installata che verrà installata (ultima versione -1): se l'ultima versione installata è la 8.1, sarà la 8.0 che verrà utilizzata con "php"). È preferibile utilizzare la menzione php-7.0, php-7.1, ecc. in modo che la versione non cambi man mano che vengono aggiornati.
• Scopri di più su quest'altra guida se stai cercando informazioni sulla configurazione della versione di PHP impostata sul Manager Infomaniak.
   

Modificare la versione di PHP utilizzata in CLI

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

1. Connettiti al server in 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. Controlla la versione di php:

   php -v

Modalità interattiva

Il file .profile di cui sopra è caricato solo quando viene utilizzata l'interfaccia utente. In SSH ( login mode), è il file .bash_profile Chi è sorto. E in modalità interattiva (non-login), questo è il file .bashrc Chi è sorto.

Alcuni script di distribuzione server aprono le sessioni in modalità interattiva ( non-login) e le variabili di 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 sorgente nei file >.bash_profile e .profile il file .bashrc (. ~/.bashrc).

Dopo aver seguito questi passaggi, la versione di PHP specificata dovrebbe essere caricata nell'ambiente shell ogni volta che si apre una nuova sessione. Questo ti permetterà di eseguire script utilizzando questa versione di PHP a riga di comando (CLI).