added different shell, as the default was buggy

This commit is contained in:
Kristian Krsnik 2023-08-16 18:18:45 +02:00
parent d4b0fc654a
commit e625d324c6

View File

@ -45,5 +45,13 @@
}; };
"direnv.path.executable" = "${pkgs.direnv}/bin/direnv"; "direnv.path.executable" = "${pkgs.direnv}/bin/direnv";
"latex-workshop.latex.outDir" = "%DIR%/out"; "latex-workshop.latex.outDir" = "%DIR%/out";
"terminal.integrated.profiles.linux" = {
"bash" = {
"path" = "${pkgs.bashInteractive}/bin/bash";
"args" = [];
};
};
"terminal.integrated.defaultProfile.linux" = "bash";
}; };
} }