update vscode extensions, hyprland cleanup

common/vscode.nix

@@ -3,7 +3,10 @@
   programs.vscode = {
     enable = true;
     package = pkgs.vscodium;
-  extensions = pkgs.vscode-utils.extensionsFromVscodeMarketplace [
+    extensions = with pkgs.vscode-extensions; [
+      ms-vscode.cpptools
+    ]
+    ++ pkgs.vscode-utils.extensionsFromVscodeMarketplace [
       {
         name = "vsc-prolog";
         publisher = "arthurwang";
@@ -85,14 +88,14 @@
       {
         name = "lean4";
         publisher = "leanprover";
-      version = "0.0.187";
+        version = "0.0.194";
-      sha256 = "04pyq6v0s5dy6b8bpjakp33dff4plxxa100x8gvbw36v6ddpsx7d";
+        sha256 = "1anal0i85vy0y1rfjx6nj82q8bilh2pyh40j6ax9wfsjyrqzrynf";
       }
       {
         name = "vscoq";
         publisher = "maximedenes";
-      version = "2.2.1";
+        version = "2.2.3";
-      sha256 = "04m1dby6zfzg5nahnricjax28g47mgnja7d9cbll270i7ahnyncm";
+        sha256 = "066l48b22qnxlwnq2328wmldn2dwrjn5d399rp605ahdihl9f7w7";
       }
       {
         name = "direnv";
@@ -100,12 +103,6 @@
         version = "0.17.0";
         sha256 = "1n2qdd1rspy6ar03yw7g7zy3yjg9j1xb5xa4v2q12b0y6dymrhgn";
       }
-    {
-      name = "cpptools";
-      publisher = "ms-vscode";
-      version = "1.23.3";
-      sha256 = "sha256-YOtPISpr23g/4T7u+ZHZz9mJOBI4GpifhqfP1bNhOkU=";
-    }
       {
         name = "vscode-ltex";
         publisher = "valentjn";

gunther/configuration.nix

@@ -2,7 +2,7 @@
 # your system.  Help is available in the configuration.nix(5) man page
 # and in the NixOS manual (accessible by running ‘nixos-help’).
 
-{ config, pkgs, lib, emacs-overlay, ... }:
+{ config, pkgs, lib, ... }:
 {
   imports =
     [ # Include the results of the hardware scan.
@@ -31,13 +31,38 @@
   nix.optimise.automatic = true;
 
   # Bootloader.
-  boot.loader.efi.canTouchEfiVariables = true;
+  boot = {
-  boot.loader.efi.efiSysMountPoint = "/boot";
+    # systemd-boot
-  boot.loader.systemd-boot.enable = true;
+    loader.efi.canTouchEfiVariables = true;
-  boot.loader.systemd-boot.extraEntries."debian.conf" = ''
+    loader.efi.efiSysMountPoint = "/boot";
-    title Debian
+    loader.systemd-boot.enable = true;
-    efi   /efi/debian/shimx64.efi
+    
-    '';
+    # plymouth
+    plymouth = {
+      enable = true;
+      theme = "owl";
+      themePackages = with pkgs; [
+        (adi1090x-plymouth-themes.override {
+          selected_themes = [ "owl" ];
+        })
+      ];
+    };
+    
+    # Enable "Silent Boot"
+    consoleLogLevel = 0;
+    initrd.verbose = false;
+    kernelParams = [
+      "quiet"
+      "splash"
+      "boot.shell_on_fail"
+      "loglevel=3"
+      "rd.systemd.show_status=false"
+      "rd.udev.log_level=3"
+      "udev.log_priority=3"
+      "video=DP-1:2560x1440@144" 
+      "video=HDMI-A-1:1920x1080@75"
+    ];
+  };
 
   networking.hostName = "gunther";
   networking.networkmanager.enable = true;
@@ -149,6 +174,7 @@
         socat
 
         texliveFull
+        adi1090x-plymouth-themes
       ];
 
   system.stateVersion = "24.05";

gunther/hardware-configuration.nix

@@ -9,10 +9,8 @@
     ];
 
   boot.initrd.availableKernelModules = [ "xhci_pci" "ahci" "nvme" "usbhid" "usb_storage" "sd_mod" ];
-  boot.initrd.kernelModules = [ ];
+  boot.initrd.kernelModules = [ "amdgpu" ];
   boot.kernelModules = [ "kvm-intel" ];
-  boot.extraModulePackages = [ ];
-  boot.kernelParams = [ "video=DP-1:2560x1440@144" "video=HDMI-A-1:1920x1080@75" ];
   boot.kernelPackages = pkgs.linuxPackages_latest;
 
   fileSystems."/" =

gunther/hypr/hyprland.nix

@@ -7,13 +7,13 @@
     xwayland.enable = true;
     settings = {
       workspace = [
-        "1, monitor:HDMI-A-5,  default:true, persistent:true"
+        "1, monitor:HDMI-A-1,  default:true, persistent:true"
-        "2, monitor:DP-3    , default:true, persistent:true"
+        "2, monitor:DP-1    ,  default:true, persistent:true"
-        "special:scratchpad, on-created-empty:foot"
+        "special:scratchpad ,  on-created-empty:foot"
       ];
       monitor = [
-        "DP-3    , 2560x1440@144, 1920x0, 1"
+        "DP-1    , 2560x1440@144, 1920x0, 1"
-        "HDMI-A-5, 1920x1080@75 , 0x0   , 1"
+        "HDMI-A-1, 1920x1080@75 , 0x0   , 1"
       ];
       input = {
         kb_layout = "de";