From 80a71def07c5e33c790cd10f6f76b887be6c1f7d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Charlotte=20=F0=9F=A6=9D=20Delenk?= <lotte@chir.rs>
Date: Tue, 12 Apr 2022 13:09:09 +0100
Subject: [PATCH] Add more vscode config

---
 config/programs/vscode.nix | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

diff --git a/config/programs/vscode.nix b/config/programs/vscode.nix
index a6869471..7267e1e3 100644
--- a/config/programs/vscode.nix
+++ b/config/programs/vscode.nix
@@ -111,7 +111,6 @@
       }
     ];
     userSettings = {
-      "crates.listPreReleases" = true;
       "diffEditor.codeLens" = true;
       "editor.bracketPairColorization.enabled" = true;
       "editor.cursorSmoothCaretAnimation" = true;
@@ -152,7 +151,21 @@
       "C_Cpp.intelliSenseEngine" = "Disabled";
       "C_Cpp.autocomplete" = "Disabled";
       "C_Cpp.errorSquiggles" = "Disabled";
+      "clang-tidy.executable" = "${pkgs.llvmPackages_latest.clang-unwrapped}/bin/clang-tidy";
+      "cmake.cmakePath" = "${pkgs.cmake}/bin/cmake";
+      "github.copilot.enable" = ["*"];
+      "crates.listPreReleases" = true;
+      "css.format.spaceAroundSelectorSeparator" = true;
+      "less.format.spaceAroundSelectorSeparator" = true;
+      "scss.format.spaceAroundSelectorSeparator" = true;
+      "vscode-dhall-lsp-server.executable" = "${pkgs.dhall-lsp-server}/bin/dhall-lsp-server";
+      "doxdocgen.generic.useGitUserEmail" = true;
+      "doxdocgen.generic.useGitUserName" = true;
+      "git.confirmSync" = false;
       "clangd.path" = "${pkgs.llvmPackages_latest.clang-unwrapped}/bin/clangd";
+      "verilog.ctags.path" = "${pkgs.ctags}/bin/ctags";
+      "verilog.languageServer" = "${pkgs.svls}/bin/svls";
+      "verilog.linting.linter" = "${pkgs.verilator}/bin/verilator";
     };
   };
 }