From f199c3e576a3a796697e9e87f44242ae1489d2da Mon Sep 17 00:00:00 2001
From: Rowan Goemans <goemansrowan@gmail.com>
Date: Mon, 12 Aug 2024 16:29:26 +0200
Subject: [PATCH] Update shell.nix (#1347)

---
 shell.nix | 20 +-------------------
 1 file changed, 1 insertion(+), 19 deletions(-)

diff --git a/shell.nix b/shell.nix
index 084e3180..75277837 100644
--- a/shell.nix
+++ b/shell.nix
@@ -1,25 +1,8 @@
-{ pkgs ? import (fetchTarball https://github.com/NixOS/nixpkgs/archive/23.05.tar.gz) {} }:
+{ pkgs ? import (fetchTarball https://github.com/NixOS/nixpkgs/archive/24.05.tar.gz) {} }:
 
 let
   pythonPkgs = pkgs.python3Packages;
   boostPython = pkgs.boost.override { python = pythonPkgs.python; enablePython = true; };
-  vscode = pkgs.vscode-with-extensions.override {
-    vscodeExtensions = with pkgs.vscode-extensions; [
-      bbenoist.nix
-      ms-vscode.cpptools
-      ms-vscode.cmake-tools
-      twxs.cmake
-      usernamehw.errorlens
-      llvm-vs-code-extensions.vscode-clangd
-    ] ++ pkgs.vscode-utils.extensionsFromVscodeMarketplace [
-      {
-        name = "VerilogHDL";
-        publisher = "mshr-h";
-        version = "1.11.4";
-        sha256 = "sha256-4JY0eaN2IkwHv8u8X6ejDXk6vT1qB4vJjWdIy8b/jj4=";
-      }
-    ];
-  };
 in pkgs.mkShell {
   buildInputs = with pkgs; [
     cmake
@@ -37,7 +20,6 @@ in pkgs.mkShell {
     valgrind
     cling
     gdb
-    vscode
   ];
 
   shellHook = ''