User Tools

Site Tools


informatique:os:windows10

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
Next revisionBoth sides next revision
informatique:os:windows10 [2017/11/27 22:08] – [Optimisation avec un SSD] pteuinformatique:os:windows10 [2020/10/17 15:26] – [Windows Terminal] pteu
Line 42: Line 42:
  
 Pour prendre en compte toutes ces modifications, redémarrez l'ordinateur. Pour prendre en compte toutes ces modifications, redémarrez l'ordinateur.
 +
 +=====Noms court des commandes=====
 +
 +Plutôt que d'accéder aux utilitaires Windows avec la souris, après 20 clics droits/propriété/status/avancé/etc.. ; voici une liste de leurs commandes courtes, à saisir dans la fenêtres Exécuter (Windows+R) :
 +  * ''control'' : Lancer le panneau de configuration historique
 +  * ''ncpa.cpl'' : Connexions réseau
 +  * ''mstsc.exe'' : Windows Terminal serveur (Connexion bureau à distance)
 +  * ''appwiz.cpl'' : Ajout/Suppression de Programmes
 +  * ''msconfig'' : Configuration du système/Options de démarrage
 +  * ''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 :(
  
informatique/os/windows10.txt · Last modified: 2021/03/27 18:49 by pteu