J'ai besoin de modifier le dossier par défaut dans lequel le terminal Windows recherche le fichier settings.json. À partir de C:\Users %USER% \AppData\Local\Microsoft\Windows Terminal à mon personnel c : \tools\windowsterminal . La raison en est que c : \tools est sous contrôle de version et j'aimerais le maintenir à jour pour le partager entre mes différents postes de travail.
Comment puis-je y parvenir ? Comme solution de rechange, il existe peut-être une option permettant de lancer WindowsTerminal à partir de cmd avec un paramètre spécifique ?
Veuillez noter que je sais comment définir le répertoire de départ pour un terminal particulier, mais ce n'est pas ce que je veux.