| Both sides previous revisionPrevious revision | Next revisionBoth sides next revision |
| informatique:os:windows10 [2020/06/30 08:17] – pteu | informatique:os:windows10 [2020/10/17 15:26] – [Windows Terminal] pteu |
|---|
| * ''msconfig'' : Configuration du système/Options de démarrage | * ''msconfig'' : Configuration du système/Options de démarrage |
| * ''wf.msc'' : lancer le firewall Windows | * ''wf.msc'' : lancer le firewall Windows |
| | |
| | =====Windows Terminal===== |
| | |
| | Le **Windows Terminal** est un renouveau from scratch de l'Invite de commande" (''cmd'') historique, et il en avait bien besoin, question de décence. Il s'installe via le Windows store, rechercher "Windows Terminal" et installer (ne pas s'enregistrer, ce n'est pas obligatoire mine de rien... |
| | |
| | Il permet d'avoir, entre autre : le redimensionnement de la fenêtre (!), la gestion des onglets, la prise en compte de multiples terminaux (PowerShell, Invite de commandes historique, Ubuntu (WSL), Azure Cloud Shell) et des paramètres de personnalisation qui manquaient cruellement à son prédécesseur. |
| | |
| | Pour le paramétrer, ça se passe dans le fichier ''settings.json'', situé dans un répertoire bien trop long et compliqué pour l'écrire ici (et en plus il est randomisé). Pour l'éditer, ouvrir le menu "flèche" puis Paramètres (ou simplement via le raccourci clavier : ''Ctrl + ,''). Les paramètres importants sont : |
| | <code bash> |
| | [..] |
| | "profiles": |
| | { |
| | "defaults": |
| | { |
| | // Put settings here that you want to apply to all profiles. |
| | "fontSize": 9, |
| | "fontface": "Ubuntu Mono", |
| | "useAcrylic": true, |
| | "acrylicOpacity": 0.8, |
| | "padding": "5, 5, 5, 5", |
| | "cursorShape": "filledBox" |
| | </code> |
| | Le fichier est pris en compte à la volée dès l'enregistrement des modifications. |
| | |
| | NB : la modification de l'option fontFace ne fonctionne pas chez moi :( |
| |
