From e625d324c6fbc2a6a523f4d283d83ab8e9d29cd4 Mon Sep 17 00:00:00 2001
From: Kristian Krsnik <git@krsnik.at>
Date: Wed, 16 Aug 2023 18:18:45 +0200
Subject: [PATCH] added different shell, as the default was buggy

---
 home/vscode.nix | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/home/vscode.nix b/home/vscode.nix
index b95747e..cf53aa7 100644
--- a/home/vscode.nix
+++ b/home/vscode.nix
@@ -45,5 +45,13 @@
     };
     "direnv.path.executable" = "${pkgs.direnv}/bin/direnv";
     "latex-workshop.latex.outDir" = "%DIR%/out";
+
+    "terminal.integrated.profiles.linux" = {
+      "bash" = {
+        "path" = "${pkgs.bashInteractive}/bin/bash";
+        "args" = [];
+      };
+    };
+    "terminal.integrated.defaultProfile.linux" = "bash";
   };
 }