major refactor

2025-12-23 23:05:32 +01:00 · 2025-12-23 23:05:32 +01:00 · d778875a1b
commit d778875a1b
parent 20472f8d1b
32 changed files with 495 additions and 428 deletions
--- a/mod/desktop/software/development.nix
+++ b/mod/desktop/software/development.nix
@ -0,0 +1,112 @@
+{
+  config,
+  pkgs,
+  lib,
+  ...
+}:
+let
+  cfg = config.hd.desktop.software.development;
+  inherit (lib) mkEnableOption mkIf;
+in
+{
+  config = mkIf cfg.enable {
+    documentation.dev.enable = true;
+
+    environment.systemPackages = with pkgs; [
+      (agda.withPackages (p: [ p.standard-library ]))
+      binutils
+      clang
+      elan
+      gcc
+      gdb
+      gnumake
+      man-pages
+      man-pages-posix
+      nixfmt-rfc-style
+      python313
+      python313Packages.mypy
+      rustup
+      # jetbrains.gateway
+      # jetbrains.rust-rover
+    ];
+
+    home = {
+      xdg.configFile = {
+        "agda/libraries".text = ''
+          ${pkgs.agdaPackages.standard-library}/standard-library.agda-lib
+        '';
+      };
+      programs.emacs = {
+        enable = true;
+        extraPackages =
+          epkgs: with epkgs; [
+            ace-window
+            agda2-mode
+            better-defaults
+            cmake-mode
+            company
+            consult
+            delight
+            doom-themes
+            editorconfig
+            exec-path-from-shell
+            fish-mode
+            haskell-mode
+            hl-todo
+            lsp-mode
+            magit
+            marginalia
+            markdown-mode
+            multiple-cursors
+            orderless
+            proof-general
+            pyvenv
+            rainbow-delimiters
+            restart-emacs
+            rust-mode
+            undo-tree
+            use-package
+            vertico
+            which-key
+            yaml-mode
+          ];
+        extraConfig = builtins.readFile ../../../dotfiles/emacs/init.el;
+      };
+      programs.vscode = {
+        enable = true;
+        package = pkgs.vscodium;
+        mutableExtensionsDir = true;
+        profiles.default = {
+          enableExtensionUpdateCheck = true;
+          enableUpdateCheck = false;
+          extensions = with pkgs.vscode-marketplace; [
+            banacorn.agda-mode
+            dnut.rewrap-revived
+            editorconfig.editorconfig
+            james-yu.latex-workshop
+            jnoortheen.nix-ide
+            leanprover.lean4
+            ltex-plus.vscode-ltex-plus
+            maximedenes.vscoq
+            mkhl.direnv
+            ms-python.python
+            ms-toolsai.jupyter
+            ocamllabs.ocaml-platform
+            rust-lang.rust-analyzer
+            # ms-vscode-remote.remote-ssh
+          ];
+          userSettings = {
+            "editor.rulers" = [ 80 ];
+            "editor.formatOnPaste" = false;
+            "editor.formatOnSave" = false;
+            "editor.formatOnType" = false;
+            # https://github.com/nix-community/nix-vscode-extensions/issues/123
+            "ltex.ltex-ls.path" = "${pkgs.ltex-ls-plus}";
+            "direnv.path.executable" = "${pkgs.direnv}/bin/direnv";
+            "latex-workshop.latex.autoBuild.run" = "never";
+          };
+        };
+      };
+    };
+  };
+}