Differences

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

--- informatique:os:windows10 [2020/10/17 15:26] – [Windows Terminal] pteu
+++ informatique:os:windows10 [2020/11/09 09:22] – [Noms court des commandes] pteu
@@ Line 48: / Line 48: @@
   * ''control'' : Lancer le panneau de configuration historique
   * ''ncpa.cpl'' : Connexions réseau
+  * ''control.exe /name Microsoft.NetworkAndSharingCenter'' : Centre réseau et partage
   * ''mstsc.exe'' : Windows Terminal serveur (Connexion bureau à distance)
   * ''appwiz.cpl'' : Ajout/Suppression de Programmes
@@ Line 67: / Line 68: @@
         {
             // Put settings here that you want to apply to all profiles.
-			"fontSize": 9,
+            "fontSize": 9,
-			"fontface": "Ubuntu Mono",
+            "fontface": "Ubuntu Mono",
-			"useAcrylic": true,
+            "useAcrylic": true,
-			"acrylicOpacity": 0.8,
+            "acrylicOpacity": 0.8,
-			"padding": "5, 5, 5, 5",
+            "padding": "5, 5, 5, 5",
-			"cursorShape": "filledBox"
+            "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 :(
+Ref : https://docs.microsoft.com/fr-fr/windows/terminal/customize-settings/profile-settings
+=====Bureaux virtuels=====
+Avec Windows 10 Microsoft a afin daigner implémenter la fonctionnalité de multi-bureaux ou bureaux virtuels déjà présente depuis belle lurette sous Linux/MacOS. Cela consiste à avoir plusieurs espaces de travail pour créer des contextes avec chacun ses propres fenêtres, et de pouvoir naviguer rapidement entre ceux-ci. Cela permet de séparer les espaces de travail, comme par exemple celui professionnel, celui pour le jeu, celui pour la retouche photo, etc...
+Pour lister les fenêtres et les bureaux existants, cliquer sur le bouton "Affichage des tâches" dans la barre des tâches (2nd icône en partant de la gauche) ou utiliser le raccourci clavier : ''Win + tab''. Tout en haut vous avez la liste des bureaux existants ; cliquer l'un d'entre eux ou sur ''+'' pour en créer un.
+A tout moment on peut créer un nouveau bureau avec le raccourci ''Ctrl + Win + d'', ou naviguer entre les bureaux existants avec ''Ctrl + Win + droite/gauche'' (avec les flèches directionnelles).