Code-Hero: Changer la version par défaut de PHP
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 de n'importe où : Utilisez n'importe quel appareil, qu'il s'agisse d'un ordinateur de bureau, d'un téléphone ou d'une tablette, sans nécessiter d'installation logicielle.
- Expérience VSCode intégrée : Travaillez avec une version personnalisée de VSCode directement via votre navigateur, avec un terminal entièrement fonctionnel.
- Ensemble d'outils complet : Profitez d'un environnement préconfiguré avec des outils et langages comme
Docker,Git,Zsh,Node.js,Go,Python,Ruby, et plus encore.- Connectivité transparente : Accédez à vos applications de développement via HTTPS sur un domaine public, imitant les conditions de production. Cette configuration prend en charge les webhooks et les intégrations externes sans effort.
Découvrez l'efficacité et la commodité 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 disponibles de PHP :
asdf list all php -
Installez la version souhaitée :
asdf install php <VERSION>
Après avoir installé la version souhaitée, décidez si vous voulez 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 pour le répertoire actuel), exécutez :
asdf local php <VERSION>Cette commande crée un fichier
.tool-versionsdans le répertoire actuel contenant les informations de la version choisie.
Pour vérifier quelle version est active, exécutez :
php -v