Code-Hero: Changer la version PHP par défaut
Cette documentation fait partie du guide PHP. Consultez le guide complet ici : Utiliser PHP avec Code-Hero.
👋 Bienvenue sur la documentation de Stackhero !
Stackhero propose Code-Hero, une plateforme de développement complète pour coder en quelques secondes :
- Codez où que vous soyez : Utilisez n'importe quel appareil, que ce soit un ordinateur, un téléphone ou une tablette, sans avoir à installer de logiciel.
- Expérience VSCode intégrée : Travaillez avec une version personnalisée de VSCode directement dans votre navigateur, avec un terminal entièrement fonctionnel.
- Environnement complet : Profitez d'un environnement préconfiguré avec des outils et langages comme
Docker,Git,Zsh,Node.js,Go,Python,Rubyet bien d'autres.- Connectivité optimale : Accédez à vos applications de développement en HTTPS sur un domaine public, dans des conditions proches de la production. Cette configuration prend en charge les webhooks et les intégrations externes sans effort.
Découvrez l'efficacité et la simplicité de la solution cloud de développement Code-Hero de Stackhero. Il suffit de 5 minutes pour commencer ! Simplifiez vos processus de développement et gagnez un temps précieux dès aujourd'hui.
Si vous souhaitez utiliser une autre version de PHP, suivez ces étapes :
-
Mettez à jour tous les plugins :
asdf plugin update --all -
Listez toutes les versions PHP disponibles :
asdf list all php -
Installez la version souhaitée :
asdf install php <VERSION>
Après avoir installé la version désirée, choisissez si vous souhaitez l'utiliser globalement ou localement :
-
Pour l'utiliser globalement (dans tous les répertoires), exécutez :
asdf global php <VERSION> -
Pour l'utiliser localement (uniquement dans le répertoire courant), exécutez :
asdf local php <VERSION>Cette commande crée un fichier
.tool-versionsdans le répertoire courant contenant l'information sur la version choisie.
Pour vérifier quelle version est active, exécutez :
php -v