Code-Hero: Cambiare la versione predefinita di PHP

Questa documentazione fa parte della guida PHP. Consulta la guida completa qui: Utilizzare PHP con Code-Hero.

👋 Benvenuti nella documentazione di Stackhero!

Stackhero offre Code-Hero, una piattaforma di sviluppo completa per programmare in pochi secondi:

• Programma da qualsiasi luogo: Usa qualsiasi dispositivo, sia esso un desktop, un telefono o un tablet, senza necessità di installare software.
• Esperienza VSCode integrata: Lavora con una versione personalizzata di VSCode direttamente attraverso il tuo browser, con un terminale completamente funzionale.
• Set di strumenti completo: Approfitta di un ambiente preconfigurato con strumenti e linguaggi come Docker, Git, Zsh, Node.js, Go, Python, Ruby, e molti altri.
• Connettività senza interruzioni: Accedi alle tue applicazioni di sviluppo tramite HTTPS su un dominio pubblico, imitando le condizioni di produzione. Questa configurazione supporta webhooks e integrazioni esterne senza sforzo.

Scopri l'efficienza e la comodità della soluzione cloud di sviluppo Code-Hero di Stackhero. Bastano solo 5 minuti per iniziare! Semplifica i tuoi processi di sviluppo e risparmia tempo prezioso oggi stesso.

Se desidera utilizzare una versione diversa di PHP, segua questi passaggi:

1. Aggiorni tutti i plugin:

   asdf plugin update --all
   

2. Elenchi tutte le versioni disponibili di PHP:

   asdf list all php
   

3. Installi la versione desiderata:

   asdf install php <VERSION>
   

Dopo aver installato la versione desiderata, decida se utilizzarla globalmente o localmente:

1. Per utilizzarla globalmente (in tutte le directory), esegua:

   asdf global php <VERSION>
   

2. Per utilizzarla localmente (solo per la directory corrente), esegua:

   asdf local php <VERSION>
   

   Questo comando crea un file .tool-versions nella directory corrente contenente le informazioni sulla versione scelta.

Per verificare quale versione è attiva, esegua:

php -v