User Tools

Site Tools


windows_terminal

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
windows_terminal [2021/11/08 20:12] stephenwindows_terminal [2023/01/27 05:34] (current) – external edit 127.0.0.1
Line 39: Line 39:
     "profiles":      "profiles": 
     {     {
-        "defaults": {},+        "defaults": { 
 +            "font":
 +                "face": "FiraCode Nerd Font", 
 +                "size": 10 
 +            } 
 +        },
         "list":          "list": 
         [         [
Line 49: Line 54:
                 "colorScheme": "Campbell Powershell",                 "colorScheme": "Campbell Powershell",
                 "experimental.retroTerminalEffect": false,                 "experimental.retroTerminalEffect": false,
-                "font":  
-                { 
-                    "face": "FuraCode Nerd Font", 
-                    "size": 10 
-                }, 
                 "guid": "{574e775e-4f2a-5b96-ac1e-a2962a402336}",                 "guid": "{574e775e-4f2a-5b96-ac1e-a2962a402336}",
                 "hidden": false,                 "hidden": false,
Line 69: Line 69:
                 "commandline": "powershell.exe",                 "commandline": "powershell.exe",
                 "experimental.retroTerminalEffect": true,                 "experimental.retroTerminalEffect": true,
-                "font":  
-                { 
-                    "face": "FuraCode Nerd Font", 
-                    "size": 10 
-                }, 
                 "guid": "{61c54bbd-c2c6-5271-96e7-009a87ff44bf}",                 "guid": "{61c54bbd-c2c6-5271-96e7-009a87ff44bf}",
                 "hidden": false,                 "hidden": false,
Line 84: Line 79:
                 "backgroundImageStretchMode": "none",                 "backgroundImageStretchMode": "none",
                 "commandline": "cmd.exe",                 "commandline": "cmd.exe",
-                "font":  
-                { 
-                    "face": "FuraCode Nerd Font", 
-                    "size": 10 
-                }, 
                 "guid": "{0caa0dad-35be-5f56-a8ff-afceeeaa6101}",                 "guid": "{0caa0dad-35be-5f56-a8ff-afceeeaa6101}",
                 "hidden": false,                 "hidden": false,
Line 94: Line 84:
             },             },
             {             {
-                "font":  
-                { 
-                    "face": "FuraCode Nerd Font", 
-                    "size": 10 
-                }, 
                 "guid": "{b453ae62-4e3d-5e58-b989-0a998ec441b8}",                 "guid": "{b453ae62-4e3d-5e58-b989-0a998ec441b8}",
                 "hidden": false,                 "hidden": false,
windows_terminal.1636402370.txt.gz · Last modified: 2021/11/09 21:12 (external edit)

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki