From 88eba7e5d9b67efbcff78e2884a0cb189327bfd3 Mon Sep 17 00:00:00 2001 From: Martin Larsson Date: Fri, 21 Mar 2025 19:07:03 +0000 Subject: [PATCH] Remove unnecessary profiles from the windows terminal settings --- windows_terminal/settings.json | 22 +--------------------- 1 file changed, 1 insertion(+), 21 deletions(-) diff --git a/windows_terminal/settings.json b/windows_terminal/settings.json index af2f037..3540676 100755 --- a/windows_terminal/settings.json +++ b/windows_terminal/settings.json @@ -49,26 +49,6 @@ "name": "PowerShell", "source": "Windows.Terminal.PowershellCore" }, - { - "guid": "{61c54bbd-c2c6-5271-96e7-009a87ff44bf}", - "hidden": false, - "name": "Windows PowerShell" - }, - { - "guid": "{0caa0dad-35be-5f56-a8ff-afceeeaa6101}", - "hidden": false, - "name": "Command Prompt" - }, - { - "font": - { - "face": "CaskaydiaCove Nerd Font Mono" - }, - "guid": "{7db9dbdf-c2d9-51a2-876c-7f47d50e8c11}", - "hidden": false, - "name": "NixOS", - "source": "Microsoft.WSL" - } ] }, "schemes": @@ -146,4 +126,4 @@ "showTabsInTitlebar": false, "tabWidthMode": "compact", "themes": [] -} \ No newline at end of file +}