1000 FAQ, 500 tutorial e video esplicativi. Qui ci sono delle soluzioni!
Modificare la versione di PHP in CLI
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 menzionephp-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:
- Connettersi al server tramite SSH (hai bisogno di aiuto?).
Crea un file
.profile
se non esiste:touch ~/.profile
Modifica il file
.profile
:nano ~/.profile
Aggiungi questo codice all'interno del file per scegliere la versione di php desiderata:
export PATH=/opt/php7.4/bin:$PATH
Carica il file
.profile
:source ~/.profile
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).