Existe-t-il un moyen de changer le profil d'une fenêtre de terminal déjà ouverte ? Disons que j'ai déjà une fenêtre de terminal ouverte avec le profil Basic. Puis-je la faire passer au profil Grass ?
Il semble que je ne puisse changer de profil que si j'ouvre une nouvelle fenêtre de terminal.