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/10/17 15:29] – [Windows Terminal] pteu
@@ Line 67: / Line 67: @@
         {
             // 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