Thème couleur pour le terminal intégré VS Code
4 réponses
vous pouvez en fait modifier vos paramètres utilisateur et éditer chaque couleur individuellement en ajoutant ce qui suit aux paramètres utilisateur (ouvrez les paramètres avec ctrl + ,
et de recherche pour l' workbench
-Edit in settings.json
, sous les personnalisations de couleur):
"workbench.colorCustomizations" : {
"terminal.foreground" : "#00FD61",
"terminal.background" : "#383737"
}
Pour en savoir plus sur les couleurs que vous pouvez modifier vous pouvez trouver ici.
VSCode est livré avec des thèmes couleur intégrés qui peuvent être utilisés pour changer les couleurs de l'éditeur et du terminal.
- Pour changer le thème de couleur appuyez sur la touche
ctrl+k+t
dans windows/ubuntu oucmd+k+t
sur mac. - alternativement vous pouvez ouvrir palette de commande en appuyant sur
ctrl+shift+p
dans windows/ubuntu oucmd+shift+p
sur mac et tapezcolor
. Sélectionnezpreferences: color theme
à partir des options, pour sélectionner votre couleur préférée. - vous pouvez aussi installer plus thèmes du menu extensions dans la barre de gauche. il suffit de chercher
category:themes
pour installer vos thèmes favoris. (Si vous avez besoin de trier les thèmes de installe de recherchecategory:themes @sort:installs
)
Modifier - pour éditer manuellement les couleurs dans le terminal
l'équipe VSCode a supprimé les couleurs personnalisées de la page Paramètres de l'utilisateur. Actuellement, l'utilisation des thèmes est la seule façon de personnaliser les couleurs du terminal dans VSCode. Pour plus d'informations, découvrez problème n ° 6766
Oui, vous pouvez. Ouvrez les paramètres de l'utilisateur, recherchez Terminal dans les paramètres, puis appliqué ce que désiré.
Vous pouvez également consulter ce blog
Et une liste de émulateurs de terminaux vous pouvez choisir.
VSCode terminal utilise le programme terminal de votre système D'exploitation. Il peut être un terminal de votre choix et OS.
vous ne pouvez pas changer les couleurs du terminal directement à partir de vscode, mais vous pouvez ajuster les couleurs du terminal à tout ce que vous voulez, en éditant directement les paramètres de votre console.