From cc96733be8416e0dc832b1aee39c4e3487596b7f Mon Sep 17 00:00:00 2001
From: Kristian Krsnik <git@krsnik.at>
Date: Thu, 3 Aug 2023 20:47:11 +0200
Subject: [PATCH] added vscode config

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

diff --git a/home/vscode.nix b/home/vscode.nix
index 0575062..8d968ae 100644
--- a/home/vscode.nix
+++ b/home/vscode.nix
@@ -14,8 +14,22 @@
   ];
   extensions = with pkgs.vscode-extensions; [
     jnoortheen.nix-ide
+    arrterian.nix-env-selector
+    mkhl.direnv
     ms-python.python
     ms-python.vscode-pylance
     james-yu.latex-workshop
   ];
+  userSettings = {
+    "window.menuBarVisibility" = "hidden";
+    "nix.enableLanguageServer" = true;
+    "nix.serverPath" = "${pkgs.nil}/bin/nil";
+    "nix.serverSettings" = {
+      nil = {
+        formatting = { command = ["${pkgs.alejandra}/bin/alejandra"]; };
+      };
+    };
+    "direnv.path.executable" = "${pkgs.direnv}/bin/direnv";
+    "latex-workshop.latex.outDir" = "%DIR%/out";
+  };
 }