switch to vscodium

common/vscode.nix

@@ -2,103 +2,91 @@
 {
   programs.vscode = {
     enable = true;
+    package = pkgs.vscodium;
     extensions = with pkgs.vscode-extensions; [
-      jdinhlife.gruvbox
+      bbenoist.nix
-      vscodevim.vim
       yzhang.markdown-all-in-one
       haskell.haskell
       justusadam.language-haskell
       maximedenes.vscoq
       james-yu.latex-workshop
-      bbenoist.nix
       mkhl.direnv
       catppuccin.catppuccin-vsc
       valentjn.vscode-ltex
     ] ++ pkgs.vscode-utils.extensionsFromVscodeMarketplace [
-      {
+     {
-        name = "theme-panda";
+       name = "agda-mode";
-        publisher = "tinkertrain";
+       publisher = "banacorn";
-        version = "1.3.0";
+       version = "0.4.7";
-        sha256 = "sha256-ijOXoby3FHgDhF2sibXnGpkldKNPCoEXCY0Iw0ndUtw=";
+       sha256 = "sha256-gNa3n16lP3ooBRvGaugTua4IXcIzpMk7jBYMJDQsY00=";
-      }
+     }
-      {
+     {
-        name = "agda-mode";
+       name = "yuck";
-        publisher = "banacorn";
+       publisher = "eww-yuck";
-        version = "0.4.7";
+       version = "0.0.3";
-        sha256 = "sha256-gNa3n16lP3ooBRvGaugTua4IXcIzpMk7jBYMJDQsY00=";
+       sha256 = "sha256-DITgLedaO0Ifrttu+ZXkiaVA7Ua5RXc4jXQHPYLqrcM=";
-      }
+     }
-      {
-        name = "yuck";
-        publisher = "eww-yuck";
-        version = "0.0.3";
-        sha256 = "sha256-DITgLedaO0Ifrttu+ZXkiaVA7Ua5RXc4jXQHPYLqrcM=";
-      }
-    ];
-    userSettings = {
-      "agdaMode.connection.agdaLanguageServer" = false;
-      "agdaMode.highlighting.getHighlightWithThemeColors" = false;
-      "editor.unicodeHighlight.ambiguousCharacters" = false;
-      "editor.semanticHighlighting.enabled" = true;
-      "workbench.colorTheme" = "Catppuccin Mocha";
-      # "workbench.iconTheme" = "catppuccin-mocha";
-      "haskell.manageHLS" = "PATH";
-      "editor.fontFamily" = "Berkeley Mono, DejaVu Sans Mono, monospace, Unifont";
-      "terminal.integrated.minimumContrastRatio" = 1;
-      "terminal.integrated.shellIntegration.enabled" = false;
-      "terminal.integrated.profiles.linux" = {
-        bash = null;
-        zsh = {
-          path = "/run/current-system/sw/bin/zsh";
-          icon = "terminal-linux";
-        };
-      };
-      "terminal.integrated.defaultProfile.linux" = "zsh";
-      "vim.handleKeys" = {
-        "<C-c>" = false;
-        "<C-x>" = false;
-        "<C-s>" = false;
-        "<C-v>" = false;
-        "<C-a>" = false;
-        "<C-d>" = false;
-      };
-      "vim.overrideCopy" = false;
-      "window.titleBarStyle" = "custom";
-      "window.customMenuBarAltFocus" = false;
-      "window.enableMenuBarMnemonics" = false;
-      #"ltex.additionalRules.motherTongue" = "de-DE";
-      #"ltex.language" = "de-DE";
-      #"ltex.ltex-ls.path" = "/etc/profiles/per-user/leonv/";
-      "ltex.java.path" = "/etc/profiles/per-user/leonv/";
-      #"ltex.sentenceCacheSize" = 50000;
-      #"ltex.java.maximumHeapSize" = 8192;
-      "editor.tabSize" = 2;
-      "explorer.excludeGitIgnore" = true;
-      "files.exclude" = {
-        "**/*.agdai" = true;
-      };
-      # try to fix agda suggestions:
-      "editor.acceptSuggestionOnCommitCharacter" = false;
-      "editor.minimap.enabled" = false;
-      "editor.autoClosingOvertype" = "never";
-      "editor.autoClosingBrackets" = "never";
-      "editor.accessibilitySupport" = "off";
-    };
-    keybindings = [
-      {
-        key = "ctrl+shift+v";
-        command = "extension.vim_ctrl+v";
-        when = "editorTextFocus && vim.active && !inDebugRepl";
-      }
-      {
-        key = "ctrl+shift+=";
-        command = "editor.action.fontZoomIn";
-        when = "";
-      }
-      {
-        key = "ctrl+shift+-";
-        command = "editor.action.fontZoomOut";
-        when = "";
-      }
     ];
+   userSettings = {
+     "agdaMode.connection.agdaLanguageServer" = false;
+     "agdaMode.highlighting.getHighlightWithThemeColors" = false;
+     "editor.unicodeHighlight.ambiguousCharacters" = false;
+     "editor.semanticHighlighting.enabled" = true;
+     "workbench.colorTheme" = "Catppuccin Mocha";
+     "haskell.manageHLS" = "PATH";
+     "editor.fontFamily" = "Berkeley Mono, DejaVu Sans Mono, monospace, Unifont";
+     "terminal.integrated.minimumContrastRatio" = 1;
+     "terminal.integrated.shellIntegration.enabled" = false;
+     "terminal.integrated.profiles.linux" = {
+       bash = null;
+       zsh = {
+         path = "/run/current-system/sw/bin/zsh";
+         icon = "terminal-linux";
+       };
+     };
+     "terminal.integrated.defaultProfile.linux" = "zsh";
+     "vim.handleKeys" = {
+       "<C-c>" = false;
+       "<C-x>" = false;
+       "<C-s>" = false;
+       "<C-v>" = false;
+       "<C-a>" = false;
+       "<C-d>" = false;
+     };
+     "vim.overrideCopy" = false;
+     "window.titleBarStyle" = "custom";
+     "window.customMenuBarAltFocus" = false;
+     "window.enableMenuBarMnemonics" = false;
+     "ltex.sentenceCacheSize" = 50000;
+     "ltex.java.maximumHeapSize" = 8192;
+     "editor.tabSize" = 2;
+     "explorer.excludeGitIgnore" = true;
+     "files.exclude" = {
+       "**/*.agdai" = true;
+     };
+     # try to fix agda suggestions:
+     "editor.acceptSuggestionOnCommitCharacter" = false;
+     "editor.minimap.enabled" = false;
+     "editor.autoClosingOvertype" = "never";
+     "editor.autoClosingBrackets" = "never";
+     "editor.accessibilitySupport" = "off";
+   };
+   keybindings = [
+     {
+       key = "ctrl+shift+v";
+       command = "extension.vim_ctrl+v";
+       when = "editorTextFocus && vim.active && !inDebugRepl";
+     }
+     {
+       key = "ctrl+shift+=";
+       command = "editor.action.fontZoomIn";
+       when = "";
+     }
+     {
+       key = "ctrl+shift+-";
+       command = "editor.action.fontZoomOut";
+       when = "";
+     }
+   ];
   };
 }

gunther/configuration.nix

@@ -158,7 +158,7 @@
         socat
       ];
 
-  system.stateVersion = "23.11";
+  system.stateVersion = "24.05";
 
   # NFS setup
   services.rpcbind.enable = true; # needed for NFS

gunther/leonv.nix

@@ -6,7 +6,7 @@
     ./../common/eww
   ];
   /* The home.stateVersion option does not have a default and must be set */
-  home.stateVersion = "23.11";
+  home.stateVersion = "24.05";
   home.username = "leonv";
   home.homeDirectory = "/home/leonv";
 
@@ -97,6 +97,7 @@
       ls = "eza";
       ll = "eza -l";
       l = "eza -lah";
+      code = "codium";
     };
     initExtra = ''
       function rebuild () {

shinx/leonvatthauer.nix

@@ -58,6 +58,9 @@
   };
   programs.zsh = {
     enable = true;
+    shellAliases = {
+      code = "codium";
+    };
     oh-my-zsh = {
       enable = true;
       plugins = [ "git" ];