Don't allow CHADtree to change what it points to

More languages, clean up keybinds (#44 )
More F# and .NET stuff (#43 )
2025-10-20 21:58:40 +00:00 · 2024-03-28 15:26:19 +00:00 · 2024-03-27 23:41:43 +00:00 · 2024-03-27 20:30:31 +00:00 · 2024-03-26 21:33:10 +00:00 · 2024-03-26 09:31:39 +00:00
26 changed files with 1936 additions and 555 deletions
--- a/.github/workflows/lint.yaml
+++ b/.github/workflows/lint.yaml
@@ -7,35 +7,13 @@ on:
    branches: [ main ]

 jobs:
-  shellcheck:
-    runs-on: ubuntu-latest
-    steps:
-      - name: "Checkout"
-        uses: "actions/checkout@v3"
-      - name: "Install Nix"
-        uses: "cachix/install-nix-action@v22"
-        with: { "extra_nix_config": "access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}" }
-      - name: "Run Shellcheck"
-        run: "nix develop --command bash -c \"find . -type f -name '*.sh' | xargs shellcheck\""
-
-  format:
-    runs-on: "ubuntu-latest"
-    steps:
-      - name: "Checkout"
-        uses: "actions/checkout@v3"
-      - name: "Install Nix"
-        uses: "cachix/install-nix-action@v22"
-        with: { "extra_nix_config": "access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}" }
-      - name: "Run Alejandra"
-        run: "nix develop --command alejandra --check ."
-
  flake-check:
    runs-on: "ubuntu-latest"
    steps:
      - name: "Checkout"
-        uses: "actions/checkout@v3"
+        uses: "actions/checkout@v4"
      - name: "Install Nix"
-        uses: "cachix/install-nix-action@v22"
+        uses: "cachix/install-nix-action@v26"
        with: { "extra_nix_config": "access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}" }
      - name: "Check flake"
        run: "nix flake check --all-systems"
@@ -45,6 +23,4 @@ jobs:
    steps:
      - run: "echo \"All required checks complete.\""
    needs:
-      - "shellcheck"
-      - "format"
      - "flake-check"
--- a/bootstrap.sh
+++ b/bootstrap.sh
@@ -1,13 +1,13 @@
 #!/bin/sh

-install_nix () {
+install_nix() {
  echo "Installing Nix..."
-  diskutil list > /dev/null || export PATH="/usr/sbin:$PATH"
+  diskutil list >/dev/null || export PATH="/usr/sbin:$PATH"
  curl -L https://nixos.org/nix/install | sh -s -- --darwin-use-unencrypted-nix-store-volume --daemon || exit 1
  echo "Nix installed."
 }

-install_darwin_build () {
+install_darwin_build() {
  echo "Installing nix-darwin..."
  nix-build https://github.com/LnL7/nix-darwin/archive/master.tar.gz -A installer || exit 1
  ./result/bin/darwin-installer || exit 1
--- a/flake.lock
+++ b/flake.lock
@@ -7,11 +7,11 @@
        "rust-overlay": "rust-overlay"
      },
      "locked": {
-        "lastModified": 1693064156,
-        "narHash": "sha256-EnZntHnlPqWZIoa593zDV4GSkfbLLAL6VAreMvM6JN4=",
+        "lastModified": 1710209440,
+        "narHash": "sha256-1JwFo3u2aVrvpz12OotjCK51EQ0hEDI7xSG7CEvTSk8=",
        "owner": "tpwrules",
        "repo": "nixos-apple-silicon",
-        "rev": "bef25f9cdfd8513a42c175b88a1cb619e3ef5951",
+        "rev": "bdc68b494d6a26c9457f4841ab1a6109b12a33e6",
        "type": "github"
      },
      "original": {
@@ -27,11 +27,11 @@
        ]
      },
      "locked": {
-        "lastModified": 1692248770,
-        "narHash": "sha256-tZeFpETKQGbgnaSIO1AGWD27IyTcBm4D+A9d7ulQ4NM=",
+        "lastModified": 1710717205,
+        "narHash": "sha256-Wf3gHh5uV6W1TV/A8X8QJf99a5ypDSugY4sNtdJDe0A=",
        "owner": "lnl7",
        "repo": "nix-darwin",
-        "rev": "511177ffe8226c78c9cf6a92a7b5f2df3684956b",
+        "rev": "bcc8afd06e237df060c85bad6af7128e05fd61a3",
        "type": "github"
      },
      "original": {
@@ -50,11 +50,11 @@
        "nixpkgs-stable": "nixpkgs-stable"
      },
      "locked": {
-        "lastModified": 1693193430,
-        "narHash": "sha256-6qsW+c7CTlrOkY3PuZksNgNVrRSqUhlA/Uzq7Kb/3IY=",
+        "lastModified": 1711271005,
+        "narHash": "sha256-JrhnnutZvHowEJFIrA/rQAFgGAc83WOx+BVy97teqKM=",
        "owner": "nix-community",
        "repo": "emacs-overlay",
-        "rev": "78ec4983ba820b37fc2e7c998ead39be6bec7f6d",
+        "rev": "d6bbd32eb3e0f167f312e1031c1beee452dc9174",
        "type": "github"
      },
      "original": {
@@ -78,16 +78,74 @@
        "type": "github"
      }
    },
+    "flake-compat_2": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1696426674,
+        "narHash": "sha256-kvjfFW7WAETZlt09AgDn1MrtKzP7t90Vf7vypd3OL1U=",
+        "owner": "edolstra",
+        "repo": "flake-compat",
+        "rev": "0f9255e01c2351cc7d116c072cb317785dd33b33",
+        "type": "github"
+      },
+      "original": {
+        "owner": "edolstra",
+        "repo": "flake-compat",
+        "type": "github"
+      }
+    },
+    "flake-parts": {
+      "inputs": {
+        "nixpkgs-lib": [
+          "neovim-nightly",
+          "nixpkgs"
+        ]
+      },
+      "locked": {
+        "lastModified": 1709336216,
+        "narHash": "sha256-Dt/wOWeW6Sqm11Yh+2+t0dfEWxoMxGBvv3JpIocFl9E=",
+        "owner": "hercules-ci",
+        "repo": "flake-parts",
+        "rev": "f7b3c975cf067e56e7cda6cb098ebe3fb4d74ca2",
+        "type": "github"
+      },
+      "original": {
+        "owner": "hercules-ci",
+        "repo": "flake-parts",
+        "type": "github"
+      }
+    },
+    "flake-parts_2": {
+      "inputs": {
+        "nixpkgs-lib": [
+          "neovim-nightly",
+          "hercules-ci-effects",
+          "nixpkgs"
+        ]
+      },
+      "locked": {
+        "lastModified": 1709336216,
+        "narHash": "sha256-Dt/wOWeW6Sqm11Yh+2+t0dfEWxoMxGBvv3JpIocFl9E=",
+        "owner": "hercules-ci",
+        "repo": "flake-parts",
+        "rev": "f7b3c975cf067e56e7cda6cb098ebe3fb4d74ca2",
+        "type": "github"
+      },
+      "original": {
+        "id": "flake-parts",
+        "type": "indirect"
+      }
+    },
    "flake-utils": {
      "inputs": {
        "systems": "systems"
      },
      "locked": {
-        "lastModified": 1692799911,
-        "narHash": "sha256-3eihraek4qL744EvQXsK1Ha6C3CR7nnT8X2qWap4RNk=",
+        "lastModified": 1710146030,
+        "narHash": "sha256-SZ5L6eA7HJ/nmkzGG7/ISclqe6oZdOZTNoesiInkXPQ=",
        "owner": "numtide",
        "repo": "flake-utils",
-        "rev": "f9e7cf818399d17d347f847525c5a5a8032e4e44",
+        "rev": "b1d9ab70662946ef0850d488da1c9019f3a9752a",
        "type": "github"
      },
      "original": {
@@ -96,6 +154,64 @@
        "type": "github"
      }
    },
+    "flake-utils_2": {
+      "inputs": {
+        "systems": "systems_2"
+      },
+      "locked": {
+        "lastModified": 1701680307,
+        "narHash": "sha256-kAuep2h5ajznlPMD9rnQyffWG8EM/C73lejGofXvdM8=",
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "rev": "4022d587cbbfd70fe950c1e2083a02621806a725",
+        "type": "github"
+      },
+      "original": {
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "type": "github"
+      }
+    },
+    "flake-utils_3": {
+      "inputs": {
+        "systems": "systems_3"
+      },
+      "locked": {
+        "lastModified": 1701680307,
+        "narHash": "sha256-kAuep2h5ajznlPMD9rnQyffWG8EM/C73lejGofXvdM8=",
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "rev": "4022d587cbbfd70fe950c1e2083a02621806a725",
+        "type": "github"
+      },
+      "original": {
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "type": "github"
+      }
+    },
+    "hercules-ci-effects": {
+      "inputs": {
+        "flake-parts": "flake-parts_2",
+        "nixpkgs": [
+          "neovim-nightly",
+          "nixpkgs"
+        ]
+      },
+      "locked": {
+        "lastModified": 1710478346,
+        "narHash": "sha256-Xjf8BdnQG0tLhPMlqQdwCIjOp7Teox0DP3N/jjyiGM4=",
+        "owner": "hercules-ci",
+        "repo": "hercules-ci-effects",
+        "rev": "64e7763d72c1e4c1e5e6472640615b6ae2d40fbf",
+        "type": "github"
+      },
+      "original": {
+        "owner": "hercules-ci",
+        "repo": "hercules-ci-effects",
+        "type": "github"
+      }
+    },
    "home-manager": {
      "inputs": {
        "nixpkgs": [
@@ -103,11 +219,11 @@
        ]
      },
      "locked": {
-        "lastModified": 1693187908,
-        "narHash": "sha256-cTcNpsqi1llmUFl9bmCdD0mTyfjhBrNFPhu2W12WXzA=",
+        "lastModified": 1711133180,
+        "narHash": "sha256-WJOahf+6115+GMl3wUfURu8fszuNeJLv9qAWFQl3Vmo=",
        "owner": "nix-community",
        "repo": "home-manager",
-        "rev": "8bde7a651b94ba30bd0baaa9c4a08aae88cc2e92",
+        "rev": "1c2c5e4cabba4c43504ef0f8cc3f3dfa284e2dbb",
        "type": "github"
      },
      "original": {
@@ -116,66 +232,125 @@
        "type": "github"
      }
    },
+    "model": {
+      "flake": false,
+      "locked": {
+        "narHash": "sha256-aMuDhcvEaioTWn+LUcnxfAgs2VFbM8xBVVfdzx2Cu8I=",
+        "type": "file",
+        "url": "https://huggingface.co/ggerganov/whisper.cpp/resolve/main/ggml-large-v3.bin?download=true"
+      },
+      "original": {
+        "type": "file",
+        "url": "https://huggingface.co/ggerganov/whisper.cpp/resolve/main/ggml-large-v3.bin?download=true"
+      }
+    },
+    "neovim-flake": {
+      "inputs": {
+        "flake-utils": "flake-utils_2",
+        "nixpkgs": [
+          "neovim-nightly",
+          "nixpkgs"
+        ]
+      },
+      "locked": {
+        "dir": "contrib",
+        "lastModified": 1711323947,
+        "narHash": "sha256-Vc478rxwJkMuOcgBXm+brraWk9lbFqrGEdXVuST2l/A=",
+        "owner": "neovim",
+        "repo": "neovim",
+        "rev": "02d00cf3eed6681c6dde40585551c8243d7c003f",
+        "type": "github"
+      },
+      "original": {
+        "dir": "contrib",
+        "owner": "neovim",
+        "repo": "neovim",
+        "type": "github"
+      }
+    },
+    "neovim-nightly": {
+      "inputs": {
+        "flake-compat": "flake-compat_2",
+        "flake-parts": "flake-parts",
+        "hercules-ci-effects": "hercules-ci-effects",
+        "neovim-flake": "neovim-flake",
+        "nixpkgs": [
+          "nixpkgs"
+        ]
+      },
+      "locked": {
+        "lastModified": 1711325009,
+        "narHash": "sha256-c5OJdyuXYzTP+k+PN73X+0pvgXR1yYMYok+72x4SLVg=",
+        "owner": "nix-community",
+        "repo": "neovim-nightly-overlay",
+        "rev": "119bbc295f56b531cb87502f5d2fff13dcc35a35",
+        "type": "github"
+      },
+      "original": {
+        "owner": "nix-community",
+        "repo": "neovim-nightly-overlay",
+        "type": "github"
+      }
+    },
    "nixpkgs": {
      "locked": {
-        "lastModified": 1692913444,
-        "narHash": "sha256-1SvMQm2DwofNxXVtNWWtIcTh7GctEVrS/Xel/mdc6iY=",
+        "lastModified": 1709961763,
+        "narHash": "sha256-6H95HGJHhEZtyYA3rIQpvamMKAGoa8Yh2rFV29QnuGw=",
        "owner": "nixos",
        "repo": "nixpkgs",
-        "rev": "18324978d632ffc55ef1d928e81630c620f4f447",
+        "rev": "3030f185ba6a4bf4f18b87f345f104e6a6961f34",
        "type": "github"
      },
      "original": {
        "owner": "nixos",
        "repo": "nixpkgs",
-        "rev": "18324978d632ffc55ef1d928e81630c620f4f447",
+        "rev": "3030f185ba6a4bf4f18b87f345f104e6a6961f34",
        "type": "github"
      }
    },
    "nixpkgs-stable": {
      "locked": {
-        "lastModified": 1693087214,
-        "narHash": "sha256-Kn1SSqRfPpqcI1MDy82JXrPT1WI8c03TA2F0xu6kS+4=",
+        "lastModified": 1711124224,
+        "narHash": "sha256-l0zlN/3CiodvWDtfBOVxeTwYSRz93muVbXWSpaMjXxM=",
        "owner": "NixOS",
        "repo": "nixpkgs",
-        "rev": "f155f0cf4ea43c4e3c8918d2d327d44777b6cad4",
+        "rev": "56528ee42526794d413d6f244648aaee4a7b56c0",
        "type": "github"
      },
      "original": {
        "owner": "NixOS",
-        "ref": "nixos-23.05",
-        "repo": "nixpkgs",
-        "type": "github"
-      }
-    },
-    "nixpkgs-stable_2": {
-      "locked": {
-        "lastModified": 1693097136,
-        "narHash": "sha256-fBZSMdBaoZ0INFbyZ5s0DOF7zDNcLsLxgkwdDh3l9Pc=",
-        "owner": "NixOS",
-        "repo": "nixpkgs",
-        "rev": "9117c4e9dc117a6cd0319cca40f2349ed333669d",
-        "type": "github"
-      },
-      "original": {
-        "owner": "NixOS",
-        "ref": "release-23.05",
+        "ref": "nixos-23.11",
        "repo": "nixpkgs",
        "type": "github"
      }
    },
    "nixpkgs_2": {
      "locked": {
-        "lastModified": 1693145325,
-        "narHash": "sha256-Gat9xskErH1zOcLjYMhSDBo0JTBZKfGS0xJlIRnj6Rc=",
+        "lastModified": 1711231723,
+        "narHash": "sha256-dARJQ8AJOv6U+sdRePkbcVyVbXJTi1tReCrkkOeusiA=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "e1d501922fd7351da4200e1275dfcf5faaad1220",
+        "type": "github"
+      },
+      "original": {
+        "owner": "NixOS",
+        "ref": "nixpkgs-unstable",
+        "repo": "nixpkgs",
+        "type": "github"
+      }
+    },
+    "nixpkgs_3": {
+      "locked": {
+        "lastModified": 1695033101,
+        "narHash": "sha256-RQ4m+ycjdLdass7Hr4+Lzwnjw7wGhcUkKqWiJS3YxPM=",
        "owner": "nixos",
        "repo": "nixpkgs",
-        "rev": "cddebdb60de376c1bdb7a4e6ee3d98355453fe56",
+        "rev": "d941d9491804e0ca01e03468dbf6f8d3a7919a16",
        "type": "github"
      },
      "original": {
        "owner": "nixos",
-        "ref": "nixpkgs-unstable",
        "repo": "nixpkgs",
        "type": "github"
      }
@@ -186,8 +361,9 @@
        "darwin": "darwin",
        "emacs": "emacs",
        "home-manager": "home-manager",
+        "neovim-nightly": "neovim-nightly",
        "nixpkgs": "nixpkgs_2",
-        "sops-nix": "sops-nix"
+        "whisper": "whisper"
      }
    },
    "rust-overlay": {
@@ -206,27 +382,6 @@
        "type": "github"
      }
    },
-    "sops-nix": {
-      "inputs": {
-        "nixpkgs": [
-          "nixpkgs"
-        ],
-        "nixpkgs-stable": "nixpkgs-stable_2"
-      },
-      "locked": {
-        "lastModified": 1693105804,
-        "narHash": "sha256-nlqNjW7dfucUJQqRGuG08MKPOSME8fLOCx/bd9hiEPs=",
-        "owner": "Mic92",
-        "repo": "sops-nix",
-        "rev": "0618c8f0ed5255ad74ee08d1618841ff5af85c86",
-        "type": "github"
-      },
-      "original": {
-        "owner": "Mic92",
-        "repo": "sops-nix",
-        "type": "github"
-      }
-    },
    "systems": {
      "locked": {
        "lastModified": 1681028828,
@@ -241,6 +396,57 @@
        "repo": "default",
        "type": "github"
      }
+    },
+    "systems_2": {
+      "locked": {
+        "lastModified": 1681028828,
+        "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=",
+        "owner": "nix-systems",
+        "repo": "default",
+        "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e",
+        "type": "github"
+      },
+      "original": {
+        "owner": "nix-systems",
+        "repo": "default",
+        "type": "github"
+      }
+    },
+    "systems_3": {
+      "locked": {
+        "lastModified": 1681028828,
+        "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=",
+        "owner": "nix-systems",
+        "repo": "default",
+        "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e",
+        "type": "github"
+      },
+      "original": {
+        "owner": "nix-systems",
+        "repo": "default",
+        "type": "github"
+      }
+    },
+    "whisper": {
+      "inputs": {
+        "flake-utils": "flake-utils_3",
+        "model": "model",
+        "nixpkgs": "nixpkgs_3"
+      },
+      "locked": {
+        "lastModified": 1704121968,
+        "narHash": "sha256-N8FJb+ohJ4Qt/m5RoAbwm3RP4VRjl+hA6PUCfjPhZo8=",
+        "owner": "Smaug123",
+        "repo": "whisper.cpp",
+        "rev": "04f8e0cdc73abe7c593b2c9405f0f590c51de95a",
+        "type": "github"
+      },
+      "original": {
+        "owner": "Smaug123",
+        "ref": "nix",
+        "repo": "whisper.cpp",
+        "type": "github"
+      }
    }
  },
  "root": "root",
--- a/flake.nix
+++ b/flake.nix
@@ -2,7 +2,9 @@
  description = "Patrick's Darwin Nix setup";

  inputs = {
-    nixpkgs.url = "github:nixos/nixpkgs/nixpkgs-unstable";
+    nixpkgs = {
+      url = "github:NixOS/nixpkgs/nixpkgs-unstable";
+    };
    home-manager = {
      url = "github:nix-community/home-manager";
      inputs.nixpkgs.follows = "nixpkgs";
@@ -16,31 +18,35 @@
      url = "github:nix-community/emacs-overlay";
      inputs.nixpkgs.follows = "nixpkgs";
    };
-    sops-nix = {
-      url = "github:Mic92/sops-nix";
-      inputs.nixpkgs.follows = "nixpkgs";
-    };
    apple-silicon = {
      url = "github:tpwrules/nixos-apple-silicon";
    };
+    whisper = {
+      url = "github:Smaug123/whisper.cpp/nix";
+    };
+    neovim-nightly = {
+      url = "github:nix-community/neovim-nightly-overlay";
+      inputs.nixpkgs.follows = "nixpkgs";
+    };
  };

  outputs = {
-    self,
+    neovim-nightly,
    darwin,
    emacs,
    nixpkgs,
    home-manager,
-    sops-nix,
    apple-silicon,
+    whisper,
    ...
-  } @ inputs: let
+  }: let
    config = {
      # contentAddressedByDefault = true;
      allowUnfree = true;
    };
+    systems = ["aarch64-darwin" "aarch64-linux" "x86_64-linux"];
  in let
-    overlays = [emacs.overlay] ++ import ./overlays.nix;
+    overlays = [emacs.overlay neovim-nightly.overlay] ++ import ./overlays.nix;
    recursiveMerge = attrList: let
      f = attrPath:
        builtins.zipAttrsWith (n: values:
@@ -66,7 +72,7 @@
            args = {
              nixpkgs = pkgs;
              username = "patrick";
-              dotnet = pkgs.dotnet-sdk_7;
+              dotnet = pkgs.dotnet-sdk_8;
            };
          in [
            ./home-manager/earthworm-config.nix
@@ -92,11 +98,11 @@
          args = {
            nixpkgs = pkgs;
            username = "patrick";
-            dotnet = pkgs.dotnet-sdk_7;
+            dotnet = pkgs.dotnet-sdk_8;
+            whisper = whisper.packages.${system};
          };
        in [
          ./darwin-configuration.nix
-          sops-nix.nixosModules.sops
          home-manager.darwinModules.home-manager
          {
            home-manager.useGlobalPkgs = true;
@@ -106,20 +112,45 @@
        ];
      };
    };
+    checks = let
+      fmt-check = system: let
+        pkgs = import nixpkgs {inherit config system;};
+      in
+        pkgs.stdenvNoCC.mkDerivation {
+          name = "fmt-check";
+          src = ./.;
+          nativeBuildInputs = [pkgs.alejandra pkgs.shellcheck pkgs.shfmt pkgs.stylua];
+          checkPhase = ''
+            find . -type f -name '*.sh' | xargs shfmt -d -s -i 2 -ci
+            alejandra -c .
+            find . -type f -name '*.sh' -exec shellcheck -x {} \;
+            find . -type f -name '*.lua' -exec stylua --check {} \;
+          '';
+          installPhase = "mkdir $out";
+          dontBuild = true;
+          doCheck = true;
+        };
+    in
+      builtins.listToAttrs (builtins.map (system: {
+          name = system;
+          value = {fmt-check = fmt-check system;};
+        })
+        systems);
    devShells = let
      devShell = system: (
        let
          pkgs = import nixpkgs {inherit config system;};
        in {
          default = pkgs.mkShell {
-            buildInputs = [pkgs.alejandra pkgs.shellcheck];
+            buildInputs = [pkgs.alejandra pkgs.shellcheck pkgs.stylua];
          };
        }
      );
    in
      builtins.listToAttrs (builtins.map (system: {
-        name = system;
-        value = devShell system;
-      }) ["aarch64-darwin" "aarch64-linux" "x86_64-linux"]);
+          name = system;
+          value = devShell system;
+        })
+        systems);
  };
 }
--- a/home-manager/.zshrc
+++ b/home-manager/.zshrc
@@ -0,0 +1,31 @@
+prompt_custom() {
+  local cyan='%F{cyan}'
+  local red='%F{red}'
+  local blue='%F{blue}'
+  local reset_color='%f'
+
+  local git_info=$(git symbolic-ref --short HEAD 2> /dev/null || git describe --tags --exact-match 2> /dev/null || git rev-parse --short HEAD 2> /dev/null)
+  if [[ -n "$git_info" ]]; then
+    # escape the percent character, which is the only zsh prompt metacharacter
+    git_info=$git_info:s/%/%%/
+    git_info=" ${blue}git:${reset_color}${red}(${git_info})${reset_color}"
+  else
+    git_info=""
+  fi
+
+  # %1 is the name of cwd
+  PROMPT="${cyan}%1~${reset_color}${git_info} > "
+}
+
+# Full path to cwd, with `~` for any initial home component, in light green,
+RPROMPT='%F{155}%~%f'
+
+precmd_functions+=(prompt_custom)
+
+export WORDCHARS=''
+
+autoload edit-command-line
+zle -N edit-command-line
+bindkey '^X^E' edit-command-line
+
+PATH="$PATH:$HOME/.cargo/bin"
--- a/home-manager/darwin.nix
+++ b/home-manager/darwin.nix
@@ -2,6 +2,7 @@
  nixpkgs,
  username,
  dotnet,
+  whisper,
  ...
 }: {
  imports = [./rider];
@@ -13,6 +14,8 @@
  };

  home.packages = [
+    whisper.default
+    whisper.normalize
    # "Damaged and can't be opened"
    #nixpkgs.bcompare
    #nixpkgs.gdb
--- a/home-manager/home.nix
+++ b/home-manager/home.nix
@@ -21,31 +21,33 @@
  # changes in each release.
  home.stateVersion = "22.05";

+  fonts.fontconfig.enable = true;
+
  programs.tmux = {
-    shell = "\${nixpkgs.zsh}/bin/zsh";
+    shell = "${nixpkgs.zsh}/bin/zsh";
    escapeTime = 50;
    mouse = false;
    prefix = "C-b";
+    enable = true;
+    terminal = "screen-256color";
+    extraConfig = ''
+      set-option -sa terminal-features ',xterm-256color:RGB'
+    '';
  };

  programs.zsh = {
    enable = true;
    autocd = true;
-    enableAutosuggestions = true;
+    autosuggestion.enable = true;
    enableCompletion = true;
    history = {
      expireDuplicatesFirst = true;
    };
-    oh-my-zsh = {
-      enable = true;
-      plugins = ["git" "macos" "dircycle" "timer"];
-      theme = "robbyrussell";
-    };
    sessionVariables = {
      EDITOR = "vim";
      LC_ALL = "en_US.UTF-8";
      LC_CTYPE = "en_US.UTF-8";
-      RUSTFLAGS = "-L ${nixpkgs.libiconv}/lib -L ${nixpkgs.libcxxabi}/lib -L ${nixpkgs.libcxx}/lib";
+      RUSTFLAGS = "-L ${nixpkgs.libiconv}/lib -L ${nixpkgs.libcxx}/lib";
      RUST_BACKTRACE = "full";
    };
    shellAliases = {
@@ -56,6 +58,7 @@
    sessionVariables = {
      RIPGREP_CONFIG_PATH = "/Users/${username}/.config/ripgrep/config";
    };
+    initExtra = builtins.readFile ./.zshrc;
  };

  programs.fzf = {
@@ -72,7 +75,11 @@
      co = "checkout";
      st = "status";
    };
+    delta = {enable = true;};
    extraConfig = {
+      core = {
+        autocrlf = "input";
+      };
      rerere = {
        enabled = true;
      };
@@ -104,6 +111,9 @@
      diff = {
        colorMoved = "default";
      };
+      "protocol.file" = {
+        allow = "always";
+      };
    };
  };

@@ -124,43 +134,178 @@
      };
      "git.path" = "${nixpkgs.git}/bin/git";
      "update.mode" = "none";
-      "docker.dockerPath" = "${nixpkgs.docker}/bin/docker";
      "explorer.confirmDelete" = false;
    };
  };

-  programs.neovim.enable = true;
-  programs.neovim.plugins = with nixpkgs.vimPlugins; [
-    molokai
-    tagbar
-    {
-      plugin = rust-vim;
-      config = "let g:rustfmt_autosave = 1";
-    }
-    {
-      plugin = LanguageClient-neovim;
-      config = "let g:LanguageClient_serverCommands = { 'nix': ['rnix-lsp'] }";
-    }
-    {
-      plugin = syntastic;
-      config = ''        let g:syntastic_rust_checkers = ['cargo']
-        let g:syntastic_always_populate_loc_list = 1
-        let g:syntastic_auto_loc_list = 1
-        let g:syntastic_check_on_open = 1
-        let g:syntastic_check_on_wq = 0'';
-    }
+  programs.neovim = let
+    pynvimpp = nixpkgs.python3.pkgs.buildPythonPackage {
+      pname = "pynvim-pp";
+      version = "unstable-2024-03-24";
+      pyproject = true;

-    YouCompleteMe
-    tagbar
-  ];
-  programs.neovim.viAlias = true;
-  programs.neovim.vimAlias = true;
-  programs.neovim.vimdiffAlias = true;
-  programs.neovim.withPython3 = true;
+      src = nixpkgs.fetchFromGitHub {
+        owner = "ms-jpq";
+        repo = "pynvim_pp";
+        rev = "34e3a027c595981886d7efd1c91071f3eaa4715d";
+        hash = "sha256-2+jDRJXlg9q4MN9vOhmeq4cWVJ0wp5r5xAh3G8lqgOg=";
+      };

-  programs.neovim.extraConfig = builtins.readFile ./init.vim;
+      nativeBuildInputs = [nixpkgs.python3.pkgs.setuptools];
+
+      propagatedBuildInputs = [nixpkgs.python3.pkgs.pynvim];
+    };
+  in let
+    pythonEnv = nixpkgs.python3.withPackages (ps: [
+      ps.pynvim
+      pynvimpp
+      ps.pyyaml
+      ps.std2
+    ]);
+    debugPyEnv = nixpkgs.python3.withPackages (ps: [ps.debugpy]);
+  in {
+    enable = true;
+    plugins = [
+      {
+        plugin = nixpkgs.vimPlugins.nvim-lightbulb;
+        type = "lua";
+        config = builtins.readFile ./nvim/nvim-lightbulb.lua;
+      }
+      {
+        plugin = nixpkgs.vimPlugins.lean-nvim;
+        type = "lua";
+        config = builtins.readFile ./nvim/lean.lua;
+      }
+      {
+        plugin = nixpkgs.vimPlugins.which-key-nvim;
+        type = "lua";
+        config = builtins.readFile ./nvim/which-key.lua;
+      }
+      {
+        plugin = nixpkgs.vimPlugins.tokyonight-nvim;
+        config = builtins.readFile ./nvim/tokyonight.lua;
+        type = "lua";
+      }
+      {
+        plugin = nixpkgs.vimPlugins.nvim-treesitter.withAllGrammars;
+        config = builtins.readFile ./nvim/treesitter.lua;
+        type = "lua";
+      }
+      {
+        plugin = nixpkgs.vimPlugins.nvim-lspconfig;
+        config = builtins.readFile ./nvim/lspconfig.lua;
+        type = "lua";
+      }
+      nixpkgs.vimPlugins.telescope-nvim
+      nixpkgs.vimPlugins.tagbar
+      nixpkgs.vimPlugins.fzf-vim
+      {
+        plugin = nixpkgs.vimPlugins.roslyn-nvim;
+        config = builtins.readFile ./nvim/roslyn-nvim.lua;
+        type = "lua";
+      }
+      {
+        plugin = let
+          name = "coq.artifacts";
+          rev = "9c5067a471322c6bb866545e88e5b28c82511865";
+        in
+          nixpkgs.vimUtils.buildVimPlugin {
+            name = name;
+            src = nixpkgs.fetchFromGitHub {
+              owner = "ms-jpq";
+              repo = name;
+              rev = rev;
+              hash = "sha256-BHm7U3pINtYamY7m26I4lQee7ccJ6AcHmYx7j1MRFDA=";
+            };
+          };
+      }
+      {
+        plugin = let
+          name = "venv-selector.nvim";
+          rev = "2ad34f36d498ff5193ea10f79c87688bd5284172";
+        in
+          nixpkgs.vimUtils.buildVimPlugin {
+            name = name;
+            src = nixpkgs.fetchFromGitHub {
+              owner = "linux-cultist";
+              repo = name;
+              rev = rev;
+              hash = "sha256-aOga7kJ1y3T2vDyYFl/XHOwk35ZqeUcfPUk+Pr1mIeo=";
+            };
+          };
+        config = builtins.readFile ./nvim/venv-selector.lua;
+        type = "lua";
+      }
+      {
+        plugin = nixpkgs.vimPlugins.Ionide-vim;
+        type = "lua";
+        config = builtins.readFile ./nvim/ionide-vim.lua;
+      }
+      {
+        plugin = nixpkgs.vimPlugins.chadtree;
+        config = builtins.readFile ./nvim/chadtree.lua;
+        type = "lua";
+      }
+      {
+        plugin = nixpkgs.vimPlugins.coq_nvim;
+        config = ''let g:coq_settings = { 'auto_start': 'shut-up', 'xdg': v:true }'';
+      }
+      {
+        plugin = nixpkgs.vimPlugins.rustaceanvim;
+      }
+      {
+        plugin = nixpkgs.vimPlugins.LanguageClient-neovim;
+      }
+      {
+        plugin = nixpkgs.vimPlugins.nvim-dap;
+        config = builtins.readFile ./nvim/nvim-dap.lua;
+        type = "lua";
+      }
+      {
+        plugin = nixpkgs.vimPlugins.nvim-dap-python;
+        config = builtins.replaceStrings ["%PYTHONENV%"] ["${debugPyEnv}"] (builtins.readFile ./nvim/nvim-dap-python.lua);
+        type = "lua";
+      }
+    ];
+    viAlias = true;
+    vimAlias = true;
+    vimdiffAlias = true;
+    withPython3 = true;
+
+    extraLuaConfig = builtins.readFile ./nvim/build-utils.lua + "\n" + builtins.readFile ./nvim/dotnet.lua + "\n" + builtins.replaceStrings ["%PYTHONENV%"] ["${pythonEnv}"] (builtins.readFile ./nvim/init.lua);
+
+    package = nixpkgs.neovim-nightly;
+  };
+
+  programs.direnv = {
+    enable = true;
+    enableZshIntegration = true;
+    nix-direnv.enable = true;
+  };
+
+  programs.alacritty = {
+    enable = true;
+    settings = {
+      font = {
+        normal = {
+          family = "FiraCode Nerd Font Mono";
+        };
+      };
+    };
+  };

  home.packages = [
+    nixpkgs.nodePackages_latest.dockerfile-language-server-nodejs
+    nixpkgs.nodePackages_latest.bash-language-server
+    nixpkgs.nodePackages_latest.vscode-json-languageserver
+    nixpkgs.nodePackages_latest.vscode-langservers-extracted
+    nixpkgs.hadolint
+    nixpkgs.ltex-ls
+    nixpkgs.yaml-language-server
+    nixpkgs.csharp-ls
+    nixpkgs.netcoredbg
+    nixpkgs.nil
+    nixpkgs.fsautocomplete
    nixpkgs.keepassxc
    nixpkgs.rust-analyzer
    nixpkgs.tmux
@@ -173,7 +318,6 @@
    nixpkgs.hledger
    nixpkgs.hledger-web
    dotnet
-    nixpkgs.docker
    nixpkgs.jitsi-meet
    nixpkgs.ripgrep
    nixpkgs.elan
@@ -188,7 +332,6 @@
    nixpkgs.git-lfs
    nixpkgs.imagemagick
    nixpkgs.nixpkgs-fmt
-    nixpkgs.rnix-lsp
    nixpkgs.grpc-tools
    nixpkgs.element-desktop
    nixpkgs.ihp-new
@@ -196,23 +339,39 @@
    nixpkgs.lnav
    nixpkgs.age
    nixpkgs.nodejs
+    nixpkgs.nodePackages.pyright
    nixpkgs.sqlitebrowser
    nixpkgs.typst
    nixpkgs.poetry
    nixpkgs.woodpecker-agent
    nixpkgs.alacritty
+    nixpkgs.lynx
+    nixpkgs.alejandra
+    nixpkgs.ffmpeg
+    nixpkgs.bat
+    nixpkgs.pandoc
+    nixpkgs.fd
+    nixpkgs.sumneko-lua-language-server
+    (nixpkgs.nerdfonts.override {fonts = ["FiraCode" "DroidSansMono"];})
  ];

+  home.file.".mailcap".source = ./mailcap;
  home.file.".ideavimrc".source = ./ideavimrc;
  home.file.".config/yt-dlp/config".source = ./youtube-dl.conf;
  home.file.".config/ripgrep/config".source = ./ripgrep.conf;
+
  programs.emacs = {
    enable = true;
    package = nixpkgs.emacs;
-    extraPackages = epkgs: [];
+    extraPackages = epkgs: [epkgs.evil];
    extraConfig = ''
      (load-file (let ((coding-system-for-read 'utf-8))
                 (shell-command-to-string "agda-mode locate")))
+      (require 'evil)
+      (evil-mode 1)
+      (evil-set-undo-system 'undo-redo)
+      ;; Allow hash to be entered
+      (global set-key (kbd "M-3") '(lambda () (interactive) (insert "#")))
    '';
  };

--- a/home-manager/init.vim
+++ b/home-manager/init.vim
@@ -1,369 +0,0 @@
-set nu
-colorscheme molokai
-
-"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""
-" Maintainer: 
-"       Amir Salihefendic — @amix3k
-"
-" Awesome_version:
-"       Get this config, nice color schemes and lots of plugins!
-"
-"       Install the awesome version from:
-"
-"           https://github.com/amix/vimrc
-"
-" Sections:
-"    -> General
-"    -> VIM user interface
-"    -> Colors and Fonts
-"    -> Files and backups
-"    -> Text, tab and indent related
-"    -> Visual mode related
-"    -> Moving around, tabs and buffers
-"    -> Status line
-"    -> Editing mappings
-"    -> vimgrep searching and cope displaying
-"    -> Spell checking
-"    -> Misc
-"    -> Helper functions
-"
-"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""
-
-
-"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""
-" => General
-"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""
-" Sets how many lines of history VIM has to remember
-set history=500
-
-" Enable filetype plugins
-filetype plugin on
-filetype indent on
-
-" Set to auto read when a file is changed from the outside
-set autoread
-
-" With a map leader it's possible to do extra key combinations
-" like <leader>w saves the current file
-let mapleader = "`"
-
-" :W sudo saves the file 
-" (useful for handling the permission-denied error)
-command W w !sudo tee % > /dev/null
-
-
-"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""
-" => VIM user interface
-"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""
-" Set 7 lines to the cursor - when moving vertically using j/k
-set so=7
-
-" Avoid garbled characters in Chinese language windows OS
-let $LANG='en' 
-set langmenu=en
-source $VIMRUNTIME/delmenu.vim
-source $VIMRUNTIME/menu.vim
-
-" Turn on the Wild menu
-set wildmenu
-
-" Ignore compiled files
-set wildignore=*.o,*~,*.pyc
-if has("win16") || has("win32")
-    set wildignore+=.git\*,.hg\*,.svn\*
-else
-    set wildignore+=*/.git/*,*/.hg/*,*/.svn/*,*/.DS_Store
-endif
-
-"Always show current position
-set ruler
-
-" Height of the command bar
-set cmdheight=2
-
-" A buffer becomes hidden when it is abandoned
-set hid
-
-" Ignore case when searching
-set ignorecase
-
-" When searching try to be smart about cases 
-set smartcase
-
-" Highlight search results
-set hlsearch
-
-" Makes search act like search in modern browsers
-set incsearch 
-
-" Don't redraw while executing macros (good performance config)
-set lazyredraw 
-
-" For regular expressions turn magic on
-set magic
-
-" Show matching brackets when text indicator is over them
-set showmatch 
-" How many tenths of a second to blink when matching brackets
-set mat=2
-
-" No annoying sound on errors
-set noerrorbells
-set novisualbell
-set t_vb=
-set tm=500
-
-" Properly disable sound on errors on MacVim
-if has("gui_macvim")
-    autocmd GUIEnter * set vb t_vb=
-endif
-
-
-" Add a bit extra margin to the left
-set foldcolumn=1
-
-
-"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""
-" => Colors and Fonts
-"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""
-" Enable syntax highlighting
-syntax enable 
-
-" Enable 256 colors palette in Gnome Terminal
-if $COLORTERM == 'gnome-terminal'
-    set t_Co=256
-endif
-
-set background=dark
-
-" Set extra options when running in GUI mode
-if has("gui_running")
-    set guioptions-=T
-    set guioptions-=e
-    set t_Co=256
-    set guitablabel=%M\ %t
-endif
-
-" Set utf8 as standard encoding and en_US as the standard language
-set encoding=utf8
-
-" Use Unix as the standard file type
-set ffs=unix,dos,mac
-
-
-"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""
-" => Files, backups and undo
-"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""
-" Turn backup off, since most stuff is in SVN, git et.c anyway...
-set nobackup
-set nowb
-set noswapfile
-
-
-"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""
-" => Text, tab and indent related
-"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""
-" Use spaces instead of tabs
-set expandtab
-
-" Be smart when using tabs ;)
-set smarttab
-
-" 1 tab == 4 spaces
-set shiftwidth=4
-set tabstop=4
-
-" Linebreak on 500 characters
-set lbr
-set tw=500
-
-set ai "Auto indent
-set si "Smart indent
-set wrap "Wrap lines
-
-"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""
-" => Moving around, tabs, windows and buffers
-"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""
-" Map <Space> to / (search) and Ctrl-<Space> to ? (backwards search)
-map <space> /
-map <c-space> ?
-
-" Disable highlight when <leader><cr> is pressed
-map <silent> <leader><cr> :noh<cr>
-
-" Smart way to move between windows
-map <C-j> <C-W>j
-map <C-k> <C-W>k
-map <C-h> <C-W>h
-map <C-l> <C-W>l
-
-" Close the current buffer
-map <leader>bd :Bclose<cr>:tabclose<cr>gT
-
-" Close all the buffers
-map <leader>ba :bufdo bd<cr>
-
-map <leader>l :bnext<cr>
-map <leader>h :bprevious<cr>
-
-" Useful mappings for managing tabs
-map <leader>tn :tabnew<cr>
-map <leader>to :tabonly<cr>
-map <leader>tc :tabclose<cr>
-map <leader>tm :tabmove 
-map <leader>t<leader> :tabnext 
-
-" Let 'tl' toggle between this and the last accessed tab
-let g:lasttab = 1
-nmap <Leader>tl :exe "tabn ".g:lasttab<CR>
-au TabLeave * let g:lasttab = tabpagenr()
-
-
-" Opens a new tab with the current buffer's path
-" Super useful when editing files in the same directory
-map <leader>te :tabedit <c-r>=expand("%:p:h")<cr>/
-
-" Switch CWD to the directory of the open buffer
-map <leader>cd :cd %:p:h<cr>:pwd<cr>
-
-" Specify the behavior when switching between buffers 
-try
-  set switchbuf=useopen,usetab,newtab
-  set stal=2
-catch
-endtry
-
-" Return to last edit position when opening files (You want this!)
-au BufReadPost * if line("'\"") > 1 && line("'\"") <= line("$") | exe "normal! g'\"" | endif
-
-
-""""""""""""""""""""""""""""""
-" => Status line
-""""""""""""""""""""""""""""""
-" Always show the status line
-set laststatus=2
-
-
-
-"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""
-" => Editing mappings
-"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""
-
-" Move a line of text using ALT+[jk] or Command+[jk] on mac
-nmap <M-j> mz:m+<cr>`z
-nmap <M-k> mz:m-2<cr>`z
-vmap <M-j> :m'>+<cr>`<my`>mzgv`yo`z
-vmap <M-k> :m'<-2<cr>`>my`<mzgv`yo`z
-
-if has("mac") || has("macunix")
-  nmap <D-j> <M-j>
-  nmap <D-k> <M-k>
-  vmap <D-j> <M-j>
-  vmap <D-k> <M-k>
-endif
-
-" Delete trailing white space on save, useful for some filetypes ;)
-fun! CleanExtraSpaces()
-    let save_cursor = getpos(".")
-    let old_query = getreg('/')
-    silent! %s/\s\+$//e
-    call setpos('.', save_cursor)
-    call setreg('/', old_query)
-endfun
-
-if has("autocmd")
-    autocmd BufWritePre *.fs,*.fsi,*.txt,*.js,*.py,*.wiki,*.sh,*.coffee :call CleanExtraSpaces()
-endif
-
-
-"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""
-" => Spell checking
-"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""
-" Pressing ,ss will toggle and untoggle spell checking
-map <leader>ss :setlocal spell!<cr>
-
-" Shortcuts using <leader>
-map <leader>sn ]s
-map <leader>sp [s
-map <leader>sa zg
-map <leader>s? z=
-
-
-"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""
-" => Misc
-"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""
-" Remove the Windows ^M - when the encodings gets messed up
-noremap <Leader>m mmHmt:%s/<C-V><cr>//ge<cr>'tzt'm
-
-" Quickly open a buffer for scribble
-map <leader>q :e ~/buffer<cr>
-
-" Quickly open a markdown buffer for scribble
-map <leader>x :e ~/buffer.md<cr>
-
-" Toggle paste mode on and off
-map <leader>pp :setlocal paste!<cr>
-
-
-"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""
-" => Helper functions
-"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""
-" Returns true if paste mode is enabled
-function! HasPaste()
-    if &paste
-        return 'PASTE MODE  '
-    endif
-    return ''
-endfunction
-
-" Don't close window, when deleting a buffer
-command! Bclose call <SID>BufcloseCloseIt()
-function! <SID>BufcloseCloseIt()
-    let l:currentBufNum = bufnr("%")
-    let l:alternateBufNum = bufnr("#")
-
-    if buflisted(l:alternateBufNum)
-        buffer #
-    else
-        bnext
-    endif
-
-    if bufnr("%") == l:currentBufNum
-        new
-    endif
-
-    if buflisted(l:currentBufNum)
-        execute("bdelete! ".l:currentBufNum)
-    endif
-endfunction
-
-function! CmdLine(str)
-    call feedkeys(":" . a:str)
-endfunction 
-
-function! VisualSelection(direction, extra_filter) range
-    let l:saved_reg = @"
-    execute "normal! vgvy"
-
-    let l:pattern = escape(@", "\\/.*'$^~[]")
-    let l:pattern = substitute(l:pattern, "\n$", "", "")
-
-    if a:direction == 'gv'
-        call CmdLine("Ack '" . l:pattern . "' " )
-    elseif a:direction == 'replace'
-        call CmdLine("%s" . '/'. l:pattern . '/')
-    endif
-
-    let @/ = l:pattern
-    let @" = l:saved_reg
-endfunction
-
-nnoremap <leader>c :!cargo clippy
-nnoremap <leader>j :%!python -m json.tool
-
-set statusline+=%#warningmsg#
-set statusline+=%{SyntasticStatuslineFlag()}
-set statusline+=%*
-" Format the status line
-set statusline=\ %{HasPaste()}%F%m%r%h\ %w\ \ CWD:\ %r%{getcwd()}%h\ \ \ Line:\ %l\ \ Column:\ %c
-
--- a/home-manager/mailcap
+++ b/home-manager/mailcap
@@ -0,0 +1,3 @@
+text/html; lynx -force_html %s; needsterminal
+image/png; qlmanage -p %s
+image/jpeg; qlmanage -p %s
--- a/home-manager/nvim/build-utils.lua
+++ b/home-manager/nvim/build-utils.lua
@@ -0,0 +1,110 @@
+BuildUtils = {}
+
+-- Create a new buffer and a new floating window to hold that buffer.
+local function create_floating_window()
+	-- Create a new buffer for build output
+	local buf = vim.api.nvim_create_buf(false, true) -- No listed, scratch buffer
+
+	-- Calculate window size and position here (example: full width, 10 lines high at the bottom)
+	local width = vim.api.nvim_get_option_value("columns", {})
+	local height = vim.api.nvim_get_option_value("lines", {})
+	local win_height = math.min(10, math.floor(height * 0.2)) -- 20% of total height or 10 lines
+	local win_opts = {
+		relative = "editor",
+		width = width,
+		height = win_height,
+		col = 0,
+		row = height - win_height,
+		style = "minimal",
+		border = "single",
+	}
+
+	local win = vim.api.nvim_open_win(buf, false, win_opts)
+
+	return { window = win, buffer = buf }
+end
+
+local function _on_output(context, is_stdout, err, data, on_line)
+	local prefix
+	if is_stdout then
+		prefix = "OUT"
+	else
+		prefix = "ERR"
+	end
+	if err or data then
+		vim.schedule(function()
+			if err then
+				-- Append the error message to the buffer
+				local count = vim.api.nvim_buf_line_count(context.buffer)
+				vim.api.nvim_buf_set_lines(context.buffer, count, count, false, { "error " .. prefix .. ": " .. err })
+			end
+			if data then
+				-- Append the data to the buffer
+				local count = vim.api.nvim_buf_line_count(context.buffer)
+				vim.api.nvim_buf_set_lines(
+					context.buffer,
+					count,
+					count,
+					false,
+					vim.tbl_map(function(line)
+						return prefix .. ": " .. line
+					end, vim.split(data, "\n"))
+				)
+			end
+			if vim.api.nvim_win_is_valid(context.window) then
+				local cur_win = vim.api.nvim_get_current_win()
+				local cur_buf = vim.api.nvim_win_get_buf(cur_win)
+				if cur_buf ~= context.buffer then
+					local new_line_count = vim.api.nvim_buf_line_count(context.buffer)
+					vim.api.nvim_win_set_cursor(context.window, { new_line_count, 0 })
+				end
+			end
+
+			on_line(data, is_stdout, context)
+		end)
+	end
+end
+
+-- Arguments:
+-- * exe, a string (no need to escape this)
+-- * args, a table like { "-m", "venv", vim.fn.shellescape(some_path) }
+-- * description of this process, visible to the user, e.g. "venv creation"
+-- * context, the result of `create_floating_window`
+-- * on_line, a function which takes "the string written", (true if stdout else false), and the context table; should return nothing. We'll call that on every line of stdout and stderr.
+-- * on_complete, takes `context`, `code` (exit code) and `signal` ("documented" with neovim's uv.spawn, hah)
+local function run_external(exe, args, description, context, on_line, on_complete)
+	local handle
+	local stdout = vim.uv.new_pipe(false)
+	local stderr = vim.uv.new_pipe(false)
+	handle, _ = vim.uv.spawn(
+		exe,
+		{
+			args = args,
+			stdio = { nil, stdout, stderr },
+		},
+		vim.schedule_wrap(function(code, signal)
+			stdout:read_stop()
+			stderr:read_stop()
+			stdout:close()
+			stderr:close()
+			handle:close()
+			print("External process " .. description .. " completed, exit code " .. code .. " and signal " .. signal)
+			on_complete(context, code, signal)
+		end)
+	)
+
+	if not handle then
+		print("Failed to start " .. description .. " process.")
+		return
+	end
+
+	vim.uv.read_start(stdout, function(err, data)
+		_on_output(context, true, err, data, on_line)
+	end)
+	vim.uv.read_start(stderr, function(err, data)
+		_on_output(context, false, err, data, on_line)
+	end)
+end
+
+BuildUtils.create_window = create_floating_window
+BuildUtils.run = run_external
--- a/home-manager/nvim/chadtree.lua
+++ b/home-manager/nvim/chadtree.lua
@@ -0,0 +1,57 @@
+vim.g.chadtree_settings = { xdg = true }
+
+vim.api.nvim_create_autocmd("VimEnter", {
+	pattern = "*",
+	command = "CHADopen --nofocus",
+})
+
+vim.api.nvim_create_autocmd("BufEnter", {
+	pattern = "*",
+	callback = function()
+		if vim.fn.winnr("$") == 1 and vim.bo.filetype == "CHADTree" then
+			vim.cmd("quit")
+		end
+	end,
+})
+
+-- Variable to store the CHADtree window ID
+local chadtree_winid_and_buf = nil
+
+-- Function to check if a window is displaying CHADtree
+local function is_chadtree_window(winid)
+	local bufnr = vim.api.nvim_win_get_buf(winid)
+	local filetype = vim.api.nvim_get_option_value("filetype", { buf = bufnr })
+	return filetype == "CHADTree"
+end
+
+-- Function to find and store the CHADtree window ID
+local function find_chadtree_window()
+	for _, winid in ipairs(vim.api.nvim_list_wins()) do
+		if is_chadtree_window(winid) then
+			chadtree_winid_and_buf = { winid, vim.api.nvim_win_get_buf(winid) }
+			break
+		end
+	end
+end
+
+-- Function to switch to CHADtree buffer in the CHADtree window
+local function switch_to_chadtree()
+	if chadtree_winid_and_buf and vim.api.nvim_win_is_valid(chadtree_winid_and_buf[1]) then
+		local current_winid = vim.api.nvim_get_current_win()
+		if current_winid == chadtree_winid_and_buf[1] and not is_chadtree_window(current_winid) then
+			print("CHADtree window may only point to CHADtree")
+			vim.api.nvim_win_set_buf(chadtree_winid_and_buf[1], chadtree_winid_and_buf[2])
+		end
+	end
+end
+
+-- Autocommand to find the CHADtree window after startup
+vim.api.nvim_create_autocmd("VimEnter", {
+	callback = function()
+		vim.defer_fn(find_chadtree_window, 500)
+	end,
+})
+
+vim.api.nvim_create_autocmd("BufEnter", {
+	callback = switch_to_chadtree,
+})
--- a/home-manager/nvim/dotnet.lua
+++ b/home-manager/nvim/dotnet.lua
@@ -0,0 +1,160 @@
+local dotnet_has_set_status_line
+
+function DetachSolution()
+	vim.g.current_sln_path = nil
+	-- TODO: unregister key bindings again
+end
+
+local function on_line(data, _, context)
+	-- Keep the window alive if there were warnings
+	if string.match(data, "%s[1-9]%d* Warning%(s%)") then
+		context.warn = context.warn + 1
+	end
+end
+local function on_complete(context, code, _)
+	if code ~= 0 then
+		print("Exit code " .. code)
+		context.errs = context.errs + 1
+	end
+
+	if context.errs == 0 and context.warn == 0 then
+		-- Close the temporary floating window (but keep it alive if the
+		-- cursor is in it)
+		local cur_win = vim.api.nvim_get_current_win()
+		local cur_buf = vim.api.nvim_win_get_buf(cur_win)
+		if cur_buf ~= context.buffer then
+			vim.api.nvim_win_close(context.window, true)
+		end
+		print("All builds successful")
+	end
+end
+
+function GetCurrentSln()
+	if vim.g.current_sln_path then
+		return vim.g.current_sln_path
+	else
+		return nil
+	end
+end
+
+function BuildDotNetSolution()
+	if vim.g.current_sln_path then
+		local context = BuildUtils.create_window()
+		context.errs = 0
+		context.warn = 0
+		BuildUtils.run("dotnet", { "build", vim.g.current_sln_path }, "dotnet build", context, on_line, on_complete)
+	end
+end
+
+function TestDotNetSolution()
+	if vim.g.current_sln_path then
+		local context = BuildUtils.create_window()
+		context.warn = 0
+		context.errs = 0
+		BuildUtils.run("dotnet", { "test", vim.g.current_sln_path }, "dotnet test", context, on_line, on_complete)
+	end
+end
+
+function CurrentSlnOrEmpty()
+	local sln = GetCurrentSln()
+	if sln then
+		return sln
+	else
+		return ""
+	end
+end
+
+function RegisterSolution(sln_path)
+	vim.g.current_sln_path = sln_path
+
+	if not dotnet_has_set_status_line then
+		dotnet_has_set_status_line = true
+		vim.o.statusline = vim.o.statusline .. "  %{v:lua.CurrentSlnOrEmpty()}"
+	end
+
+	local whichkey = require("which-key")
+	whichkey.register({
+		s = {
+			name = ".NET solution",
+			b = { BuildDotNetSolution, "Build .NET solution" },
+			t = { TestDotNetSolution, "Test .NET solution" },
+		},
+	}, { prefix = vim.api.nvim_get_var("maplocalleader"), buffer = vim.api.nvim_get_current_buf() })
+end
+
+local function find_nearest_slns()
+	local path = vim.fn.expand("%:p:h") -- Get the full path of the current buffer's directory
+
+	while path and path ~= "/" do
+		local sln_paths = vim.fn.glob(path .. "/*.sln", nil, true)
+		if #sln_paths > 0 then
+			return sln_paths
+		end
+		path = vim.fn.fnamemodify(path, ":h") -- Move up one directory
+	end
+
+	return {}
+end
+
+local function FindAndRegisterSolution(should_override)
+	if not should_override and GetCurrentSln() ~= nil then
+		RegisterSolution(GetCurrentSln())
+	end
+
+	local solutions = find_nearest_slns()
+	if not solutions or #solutions == 0 then
+		print("No .sln file found in any parent directory.")
+		return
+	elseif #solutions == 1 then
+		-- Exactly one solution found; register it directly
+		RegisterSolution(solutions[1])
+	elseif #solutions > 1 then
+		-- Multiple solutions found; use Telescope to pick one
+		local pickers = require("telescope.pickers")
+		local finders = require("telescope.finders")
+		local actions = require("telescope.actions")
+		local action_state = require("telescope.actions.state")
+		local conf = require("telescope.config").values
+
+		pickers
+			.new({}, {
+				prompt_title = "Select a Solution File",
+				finder = finders.new_table({
+					results = solutions,
+					entry_maker = function(entry)
+						return {
+							value = entry,
+							display = entry,
+							ordinal = entry,
+						}
+					end,
+				}),
+				sorter = conf.generic_sorter({}),
+				attach_mappings = function(prompt_bufnr, _)
+					actions.select_default:replace(function()
+						local selection = action_state.get_selected_entry()
+						actions.close(prompt_bufnr)
+						RegisterSolution(selection.value)
+					end)
+					return true
+				end,
+			})
+			:find()
+	end
+end
+
+vim.api.nvim_create_autocmd({ "BufReadPost", "BufNewFile" }, {
+	pattern = "*.sln",
+	callback = function()
+		if GetCurrentSln() == nil then
+			RegisterSolution(vim.fn.expand("%:p"))
+		end
+	end,
+})
+
+vim.api.nvim_create_autocmd("FileType", {
+	pattern = { "fsharp", "cs" },
+	callback = function()
+		FindAndRegisterSolution(false)
+	end,
+})
--- a/home-manager/nvim/init.lua
+++ b/home-manager/nvim/init.lua
@@ -0,0 +1,288 @@
+vim.g.python3_host_prog = "%PYTHONENV%/bin/python"
+vim.opt.mouse = ""
+vim.opt.history = 500
+vim.opt.background = "dark"
+
+vim.opt.wildmenu = true
+vim.opt.wildignore = vim.opt.wildignore + { "*/.git/*", "*/.hg/*", "*/.svn/*", "*/.DS_Store" }
+
+vim.opt.ignorecase = true
+vim.opt.smartcase = true
+vim.opt.incsearch = true
+vim.opt.magic = true
+vim.opt.hlsearch = true
+
+vim.opt.autoindent = true
+vim.opt.smartindent = true
+
+vim.opt.wrap = true
+vim.opt.linebreak = true
+vim.opt.textwidth = 500
+
+vim.opt.switchbuf = "useopen"
+
+vim.opt.laststatus = 2
+-- I don't use tabs, but one day I might!
+vim.opt.showtabline = 2
+
+vim.opt.langmenu = "en"
+
+vim.opt.ffs = "unix"
+vim.opt.encoding = "utf8"
+
+-- Always show current position
+vim.opt.ruler = true
+vim.opt.number = true
+
+-- A bit of extra margin to the left
+vim.opt.foldcolumn = "1"
+
+vim.opt.autoread = true
+vim.opt.backup = false
+vim.opt.writebackup = true
+vim.opt.swapfile = false
+
+vim.opt.cmdheight = 2
+
+-- Use spaces instead of tabs
+vim.opt.expandtab = true
+vim.opt.smarttab = true
+vim.opt.shiftwidth = 4
+vim.opt.tabstop = 4
+
+vim.opt.lazyredraw = true
+
+-- Show matching brackets when text indicator is on one of them
+vim.opt.showmatch = true
+vim.opt.mat = 2
+
+-- Turn off sound
+vim.opt.errorbells = false
+vim.opt.visualbell = false
+
+vim.opt.timeoutlen = 500
+
+vim.opt.scrolloff = 2
+
+-- Return to last edit position when opening files
+vim.api.nvim_create_autocmd("BufReadPost", {
+	pattern = "*",
+	callback = function()
+		local line = vim.fn.line
+		local last_pos = line("'\"")
+		if last_pos > 1 and last_pos <= line("$") then
+			vim.cmd("normal! g'\"")
+		end
+	end,
+})
+
+-- Trim trailing whitespace on save
+function CleanExtraSpaces()
+	local save_cursor = vim.api.nvim_win_get_cursor(0)
+	local old_query = vim.fn.getreg("/")
+	vim.cmd("%s/\\s\\+$//e")
+	vim.api.nvim_win_set_cursor(0, save_cursor)
+	vim.fn.setreg("/", old_query)
+end
+vim.api.nvim_create_autocmd("BufWritePre", {
+	pattern = { "*.fs", "*.fsi", "*.txt", "*.js", "*.py", "*.wiki", "*.sh", "*.coffee" },
+	callback = CleanExtraSpaces,
+})
+
+-- Status line
+
+-- Returns true if paste mode is enabled
+function HasPaste()
+	if vim.opt.paste:get() then
+		return "PASTE MODE  "
+	end
+	return ""
+end
+
+vim.o.statusline = vim.o.statusline .. "%{v:lua.HasPaste()}%F%m%r%h %w  Line: %l  Column: %c"
+
+--------------------------------------------------------------
+
+vim.api.nvim_set_keymap("n", ";", "<Nop>", { noremap = true })
+vim.api.nvim_set_var("maplocalleader", ";")
+vim.api.nvim_set_var("mapleader", " ")
+
+function MarkdownPreview()
+	local temp_file = vim.fn.tempname() .. ".md"
+	local file_name = vim.fn.substitute(vim.fn.tolower(vim.fn.expand("%:t")), "\\W", "_", "g")
+	local temp_html = "/tmp/" .. file_name .. "_tmp.html"
+
+	-- Write the current buffer to the temp file
+	vim.cmd("write! " .. temp_file)
+
+	local pandoc_cmd = "pandoc " .. temp_file .. " -o " .. temp_html
+
+	-- Execute the pandoc command
+	vim.fn.system(pandoc_cmd)
+
+	-- Use tmux and lynx to preview the HTML file
+	local lynx_cmd = "tmux split-window -h lynx " .. temp_html
+	vim.fn.jobstart(vim.split(lynx_cmd, " "), { silent = true })
+
+	-- Delete the temp markdown file
+	vim.fn.delete(temp_file, "rf")
+end
+
+function RemoveCarriageReturn()
+	vim.cmd("mark m")
+	vim.cmd("normal! Hmt")
+	vim.cmd("%s/\r//ge")
+	vim.cmd("normal! 'tzt'm")
+end
+
+function FormatJson()
+	vim.cmd("%!python -m json.tool")
+end
+
+function ChangeToCurrentDirectory()
+	vim.cmd(":cd %:p:h")
+	vim.cmd(":pwd")
+end
+
+local function close_loclist_if_orphaned()
+	local win = vim.fn.expand("<afile>")
+	vim.fn.win_execute(win, "lclose")
+end
+
+-- Set up an autocmd using the nvim_create_autocmd API
+vim.api.nvim_create_autocmd("WinClosed", {
+	pattern = "*",
+	callback = close_loclist_if_orphaned,
+})
+
+local whichkey = require("which-key")
+local pickers = require("telescope.pickers")
+local action_state = require("telescope.actions.state")
+local actions = require("telescope.actions")
+local finders = require("telescope.finders")
+local conf = require("telescope.config").values
+
+function DisplayAllMappingsWithTelescope()
+	local mappings = {}
+	local commands = {} -- Store commands keyed by the display string
+
+	local function accumulate(tree)
+		tree:walk(function(node)
+			-- Note: we could (if desired) view all groups, because the `node.mapping` table looks like this:
+			-- { prefix = "g", group = true, keys = {...}}
+			if node.mapping then
+				local mapping = node.mapping
+				if not mapping.group then
+					local description = mapping.desc or mapping.label or mapping.cmd
+					-- Some actions are just there for which-key to hook into to display prefixes; they don't have a description.
+					if description then
+						local displayString = description .. " | " .. mapping.prefix
+						commands[displayString] = mapping.prefix
+						mappings[#mappings + 1] = displayString
+					else
+						for k, v in pairs(mapping) do
+							print("Nothing: " .. k .. " : " .. tostring(v) .. " (type: " .. type(v) .. ")")
+						end
+						print("-----")
+					end
+				end
+			end
+		end)
+	end
+
+	local cur_buf = vim.api.nvim_win_get_buf(0)
+
+	accumulate(require("which-key.keys").get_tree("n").tree)
+	accumulate(require("which-key.keys").get_tree("n", cur_buf).tree)
+
+	pickers
+		.new({}, {
+			prompt_title = "Actions",
+			finder = finders.new_table({
+				results = mappings,
+			}),
+			sorter = conf.generic_sorter({}),
+			attach_mappings = function(_, map)
+				map("i", "<CR>", function(bufnr)
+					local selection = action_state.get_selected_entry()
+					actions.close(bufnr)
+					local cmd = commands[selection.value]
+					if cmd then
+						vim.api.nvim_command(":normal " .. vim.api.nvim_replace_termcodes(cmd, true, true, true))
+					else
+						print("no command found")
+					end
+				end)
+				return true
+			end,
+		})
+		:find()
+end
+
+function ToggleSpell()
+	vim.cmd("setlocal spell!")
+end
+
+whichkey.register({
+	[vim.api.nvim_get_var("maplocalleader")] = {
+		DisplayAllMappingsWithTelescope,
+		"View all mappings",
+	},
+	m = {
+		p = { MarkdownPreview, "Preview Markdown in Lynx" },
+		d = { RemoveCarriageReturn, "Delete carriage returns from file" },
+	},
+	["j"] = {
+		FormatJson,
+		"Auto-format JSON",
+	},
+}, { prefix = vim.api.nvim_get_var("maplocalleader") })
+whichkey.register({
+	g = {
+		function()
+			require("telescope.builtin").grep_string()
+		end,
+		"Find instances of text under cursor",
+	},
+	h = {
+		name = "Find historical...",
+		f = {
+			function()
+				require("telescope.builtin").oldfiles()
+			end,
+			"List previously open files",
+		},
+		c = {
+			function()
+				require("telescope.builtin").command_history()
+			end,
+			"List previously run commands",
+		},
+		s = {
+			function()
+				require("telescope.builtin").search_history()
+			end,
+			"List previously run searches",
+		},
+	},
+	m = {
+		function()
+			require("telescope.builtin").marks()
+		end,
+		"List marks",
+	},
+	["cd"] = {
+		ChangeToCurrentDirectory,
+		"Switch CWD to the directory of the open buffer",
+	},
+	["ss"] = {
+		ToggleSpell,
+		"Toggle spell-checker on or off",
+	},
+	[vim.api.nvim_get_var("mapleader")] = {
+		function()
+			require("telescope.builtin").find_files()
+		end,
+		"Find files by name",
+	},
+}, { prefix = vim.api.nvim_get_var("mapleader") })
--- a/home-manager/nvim/ionide-vim.lua
+++ b/home-manager/nvim/ionide-vim.lua
@@ -0,0 +1,256 @@
+vim.g["fsharp#fsautocomplete_command"] = { "fsautocomplete" }
+vim.g["fsharp#show_signature_on_cursor_move"] = 1
+vim.g["fsharp#fsi_keymap"] = "none"
+
+-- MASSIVE HACK - raised https://github.com/ionide/Ionide-vim/pull/78
+local function captureLoadedProjects()
+	vim.fn.execute("redir => g:massive_hack_patrick_capture")
+	vim.fn.execute("call fsharp#showLoadedProjects()")
+	vim.fn.execute("redir END")
+	local output = vim.fn.eval("g:massive_hack_patrick_capture")
+
+	local projects = {}
+
+	for line in output:gmatch("[^\r\n]+") do
+		local project = line:gsub("^%s*-%s*", "")
+		table.insert(projects, project)
+	end
+
+	return projects
+end
+
+-- Supply nil to get all loaded F# projects and build them.
+local function BuildFSharpProjects(projects)
+	local function on_line(data, _, context)
+		-- Keep the window alive if there were warnings
+		if string.match(data, "%s[1-9]%d* Warning%(s%)") then
+			context.warn = context.warn + 1
+		end
+	end
+
+	local on_complete
+	local function spawn_next(context)
+		BuildUtils.run(
+			"dotnet",
+			{ "build", context.projects[context.completed + 1] },
+			"dotnet build",
+			context,
+			on_line,
+			on_complete
+		)
+	end
+
+	on_complete = function(context, code, signal)
+		print("Build process exited with code " .. code .. " and signal " .. signal)
+		if code ~= 0 then
+			context.errs = context.errs + 1
+		end
+		context.completed = context.completed + 1
+
+		print(
+			"Completed: "
+				.. context.completed
+				.. " out of "
+				.. context.expected
+				.. " (errors: "
+				.. context.errs
+				.. ", warnings: "
+				.. context.warn
+				.. ")"
+		)
+
+		if context.completed == context.expected then
+			if context.errs == 0 and context.warn == 0 then
+				-- Close the temporary floating window (but keep it alive if the
+				-- cursor is in it)
+				local cur_win = vim.api.nvim_get_current_win()
+				local cur_buf = vim.api.nvim_win_get_buf(cur_win)
+				if cur_buf ~= context.buffer then
+					vim.api.nvim_win_close(context.window, true)
+				end
+				print("All builds successful")
+			end
+		else
+			spawn_next(context)
+		end
+	end
+
+	if not projects then
+		projects = captureLoadedProjects()
+	end
+	if projects then
+		local total_projects = 0
+		for _, _ in ipairs(projects) do
+			total_projects = total_projects + 1
+		end
+		local context = BuildUtils.create_window()
+		context.warn = 0
+		context.errs = 0
+		context.completed = 0
+		context.expected = total_projects
+		context.projects = projects
+
+		spawn_next(context)
+	end
+end
+
+vim.api.nvim_create_user_command("BuildFSharpProject", function(opts)
+	if opts.fargs and opts.fargs[1] then
+		BuildFSharpProjects(opts.fargs)
+	else
+		local pickers = require("telescope.pickers")
+		local finders = require("telescope.finders")
+		local conf = require("telescope.config").values
+		local action_state = require("telescope.actions.state")
+		local actions = require("telescope.actions")
+		pickers
+			.new({}, {
+				prompt_title = "Projects",
+				finder = finders.new_table({
+					results = captureLoadedProjects(),
+				}),
+				sorter = conf.generic_sorter({}),
+				attach_mappings = function(prompt_buf, _)
+					actions.select_default:replace(function()
+						actions.close(prompt_buf)
+						local selection = action_state.get_selected_entry()
+						BuildFSharpProjects({ selection.value })
+					end)
+					return true
+				end,
+			})
+			:find()
+	end
+end, { nargs = "?", complete = "file" })
+
+local function TableConcat(tables)
+	local result = {}
+	for _, tab in ipairs(tables) do
+		for _, v in ipairs(tab) do
+			table.insert(result, v)
+		end
+	end
+	return result
+end
+
+-- args is a table that will be splatted into the command line and will be immediately
+-- followed by the project.
+local function RunDotnet(command, args, project, configuration)
+	local function on_line(data, _, context) end
+
+	local function on_complete(context, code, signal) end
+
+	local context = BuildUtils.create_window()
+
+	BuildUtils.run(
+		"dotnet",
+		TableConcat({ { command }, args, { project, "--configuration", configuration } }),
+		"dotnet",
+		context,
+		on_line,
+		on_complete
+	)
+end
+
+-- Call this as:
+-- RunFSharpProject path/to/fsproj
+-- RunFSharpProject Debug path/to/fsproj
+vim.api.nvim_create_user_command("RunFSharpProject", function(opts)
+	local configuration = "Release"
+	if opts.fargs and opts.fargs[1] and opts.fargs[1]:match("sproj$") then
+		RunDotnet("run", { "--project" }, opts.fargs[1], configuration)
+	elseif opts.fargs and opts.fargs[1] and opts.fargs[2] then
+		configuration = opts.fargs[1]
+		RunDotnet("run", { "--project" }, opts.fargs[2], configuration)
+	else
+		configuration = opts.fargs[1]
+		local pickers = require("telescope.pickers")
+		local finders = require("telescope.finders")
+		local conf = require("telescope.config").values
+		local action_state = require("telescope.actions.state")
+		local actions = require("telescope.actions")
+		pickers
+			.new({}, {
+				prompt_title = "Projects",
+				finder = finders.new_table({
+					results = captureLoadedProjects(),
+				}),
+				sorter = conf.generic_sorter({}),
+				attach_mappings = function(prompt_buf, _)
+					actions.select_default:replace(function()
+						actions.close(prompt_buf)
+						local selection = action_state.get_selected_entry()
+						RunDotnet("run", { "--project" }, selection.value, configuration)
+					end)
+					return true
+				end,
+			})
+			:find()
+	end
+end, { nargs = "*", complete = "file" })
+
+vim.api.nvim_create_user_command("PublishFSharpProject", function(opts)
+	if opts.fargs and opts.fargs[1] then
+		RunDotnet("publish", {}, opts.fargs[1], "Release")
+	else
+		local pickers = require("telescope.pickers")
+		local finders = require("telescope.finders")
+		local conf = require("telescope.config").values
+		local action_state = require("telescope.actions.state")
+		local actions = require("telescope.actions")
+		pickers
+			.new({}, {
+				prompt_title = "Projects",
+				finder = finders.new_table({
+					results = captureLoadedProjects(),
+				}),
+				sorter = conf.generic_sorter({}),
+				attach_mappings = function(prompt_buf, _)
+					actions.select_default:replace(function()
+						actions.close(prompt_buf)
+						local selection = action_state.get_selected_entry()
+						RunDotnet("publish", {}, selection.value, "Release")
+					end)
+					return true
+				end,
+			})
+			:find()
+	end
+end, { nargs = "*", complete = "file" })
+
+vim.api.nvim_create_autocmd("FileType", {
+	pattern = "fsharp",
+	callback = function()
+		local status, whichkey = pcall(require, "which-key")
+		if status then
+			whichkey.register({
+				f = {
+					name = "F#",
+					t = { ":call fsharp#showTooltip()<CR>", "Show F# Tooltip" },
+					["si"] = { ":call fsharp#toggleFsi()<CR>", "Toggle FSI (F# Interactive)" },
+					["sl"] = { ":call fsharp#sendLineToFsi()<cr>", "Send line to FSI (F# Interactive)" },
+					r = {
+						name = "Run F# project",
+						d = { ":RunFSharpProject Debug", "Run F# project in debug configuration" },
+						r = { ":RunFSharpProject Release", "Run F# project in release configuration" },
+					},
+					p = {
+						":PublishFSharpProject",
+						"Publish F# project",
+					},
+					b = {
+						"Build F# project",
+						a = { BuildFSharpProjects, "Build all projects" },
+						s = { ":BuildFSharpProject", "Build specified project" },
+					},
+				},
+			}, { prefix = vim.api.nvim_get_var("maplocalleader"), buffer = vim.api.nvim_get_current_buf() })
+		else
+			vim.api.nvim_set_keymap("n", "<localleader>ft", ":call fsharp#showTooltip()<CR>", { noremap = true })
+			vim.api.nvim_set_keymap("n", "<localleader>fsi", ":call fsharp#toggleFsi()<CR>", { noremap = true })
+			vim.api.nvim_set_keymap("n", "<localleader>fsl", ":call fsharp#sendLineToFsi()<CR>", { noremap = true })
+			vim.api.nvim_set_keymap("n", "<localleader>bpa", ":lua BuildFSharpProjects()", { noremap = true })
+			vim.api.nvim_set_keymap("n", "<localleader>bps", ":BuildFSharpProject", { noremap = true })
+		end
+	end,
+})
--- a/home-manager/nvim/lean.lua
+++ b/home-manager/nvim/lean.lua
@@ -0,0 +1,17 @@
+require("lspconfig")["leanls"].setup({})
+
+require("lean").setup({})
+
+require("which-key").register({
+	l = {
+		i = { "<Cmd>LeanInfoviewToggle<CR>", "Toggle Lean info view" },
+		p = { "<Cmd>LeanInfoviewPinTogglePause<CR>", "Pause Lean info view" },
+		s = { "<Cmd>LeanSorryFill<CR>", "Fill open goals with sorry" },
+		w = { "<Cmd>LeanInfoviewEnableWidgets<CR>", "Enable Lean widgets" },
+		W = { "<Cmd>LeanInfoviewDisableWidgets<CR>", "Disable Lean widgets" },
+		["?"] = {
+			"<Cmd>LeanAbbreviationsReverseLookup<CR>",
+			"Show what Lean abbreviation produces the symbol under the cursor",
+		},
+	},
+}, { prefix = vim.api.nvim_get_var("maplocalleader") })
--- a/home-manager/nvim/lspconfig.lua
+++ b/home-manager/nvim/lspconfig.lua
@@ -0,0 +1,191 @@
+local coq = require("coq")
+
+-- Using rustaceanvim means we shouldn't set up the LSP for Rust manually.
+-- Similarly csharp_ls is unnecessary given roslyn.nvim
+-- require("lspconfig")["csharp_ls"].setup({})
+local schemas = {
+	["https://raw.githubusercontent.com/docker/compose/master/compose/config/compose_spec.json"] = "docker-compose*.{yml,yaml}",
+	["https://json.schemastore.org/github-workflow.json"] = ".github/**/*.{yml,yaml}",
+	["https://json.schemastore.org/package.json"] = "package.json",
+	["https://json.schemastore.org/global.json"] = "global.json",
+	["https://raw.githubusercontent.com/dotnet/Nerdbank.GitVersioning/master/src/NerdBank.GitVersioning/version.schema.json"] = "version.json",
+	["https://json-schema.org/draft/2020-12/schema"] = "*.schema.json",
+	["https://json.schemastore.org/dotnet-tools.json"] = "dotnet-tools.json",
+}
+
+require("lspconfig")["yamlls"].setup({
+	settings = {
+		yaml = {
+			validate = true,
+			-- disable the schema store
+			schemaStore = {
+				enable = false,
+				url = "",
+			},
+			-- manually select schemas
+			schemas = schemas,
+		},
+	},
+	filetypes = { "yaml", "json", "jsonc" },
+})
+
+local capabilities = vim.lsp.protocol.make_client_capabilities()
+capabilities.textDocument.completion.completionItem.snippetSupport = true
+require("lspconfig")["jsonls"].setup({
+	capabilities = capabilities,
+	cmd = { "vscode-json-languageserver", "--stdio" },
+	settings = {
+		json = {
+			validate = { enable = true },
+		},
+	},
+})
+
+require("lspconfig")["bashls"].setup({})
+require("lspconfig")["dockerls"].setup({})
+require("lspconfig")["html"].setup({
+	capabilities = capabilities,
+})
+require("lspconfig")["ltex"].setup({})
+
+require("lspconfig")["lua_ls"].setup({
+	on_init = function(client)
+		local path = client.workspace_folders[1].name
+		if vim.uv.fs_stat(path .. "/.luarc.json") or vim.loop.fs_stat(path .. "/.luarc.jsonc") then
+			return
+		end
+
+		client.config.settings.Lua = vim.tbl_deep_extend("force", client.config.settings.Lua, {
+			runtime = {
+				-- Tell the language server which version of Lua you're using
+				-- (most likely LuaJIT in the case of Neovim)
+				version = "LuaJIT",
+			},
+			-- Make the server aware of Neovim runtime files
+			workspace = {
+				checkThirdParty = false,
+				library = {
+					vim.env.VIMRUNTIME,
+					-- Depending on the usage, you might want to add additional paths here.
+					-- "${3rd}/luv/library"
+					-- "${3rd}/busted/library",
+				},
+				-- or pull in all of 'runtimepath'. NOTE: this is a lot slower
+				-- library = vim.api.nvim_get_runtime_file("", true)
+			},
+		})
+	end,
+	settings = {
+		Lua = {},
+	},
+})
+
+require("lspconfig").pyright.setup(coq.lsp_ensure_capabilities({
+	handlers = {
+		["textDocument/publishDiagnostics"] = function(...)
+			vim.lsp.diagnostic.on_publish_diagnostics(...)
+
+			local window = vim.api.nvim_get_current_win()
+			vim.diagnostic.setloclist({ open_loclist = true })
+			vim.api.nvim_set_current_win(window)
+		end,
+	},
+}))
+
+require("lspconfig").nil_ls.setup(coq.lsp_ensure_capabilities({
+	settings = {
+		nix = {
+			flake = {
+				autoArchive = true,
+			},
+		},
+	},
+}))
+
+function ToggleLocList()
+	local winid = vim.fn.getloclist(0, { winid = 0 }).winid
+	if winid == 0 then
+		local window = vim.api.nvim_get_current_win()
+		vim.cmd.lopen()
+		vim.api.nvim_set_current_win(window)
+	else
+		vim.cmd.lclose()
+	end
+end
+
+do
+	local whichkey_status, whichkey = pcall(require, "which-key")
+	if whichkey_status then
+		whichkey.register({
+			l = {
+				name = "loclist-related commands",
+				p = { vim.diagnostic.goto_prev, "Go to previous entry in loclist" },
+				n = { vim.diagnostic.goto_next, "Go to next entry in loclist" },
+				l = { ToggleLocList, "Toggle loclist" },
+				f = { vim.diagnostic.open_float, "Open current loclist entry in floating window" },
+			},
+		}, { prefix = vim.api.nvim_get_var("mapleader") })
+	else
+		vim.keymap.set("n", "<leader>lp", vim.diagnostic.goto_prev)
+		vim.keymap.set("n", "<leader>ln", vim.diagnostic.goto_next)
+		vim.keymap.set("n", "<leader>ll", ToggleLocList)
+		vim.keymap.set("n", "<leader>lf", vim.diagnostic.open_float)
+	end
+end
+
+-- Use LspAttach autocommand to only map the following keys
+-- after the language server attaches to the current buffer
+vim.api.nvim_create_autocmd("LspAttach", {
+	group = vim.api.nvim_create_augroup("UserLspConfig", {}),
+	callback = function(ev)
+		local whichkey = require("which-key")
+		-- Enable completion triggered by <c-x><c-o>
+		vim.bo[ev.buf].omnifunc = "v:lua.vim.lsp.omnifunc"
+
+		-- Buffer local mappings.
+		-- See `:help vim.lsp.*` for documentation on any of the below functions
+		whichkey.register({
+			g = {
+				name = "Go-to related commands",
+				D = { vim.lsp.buf.declaration, "Go to declaration" },
+				d = { vim.lsp.buf.definition, "Go to definition" },
+				i = { vim.lsp.buf.implementation, "Go to implementation" },
+				r = {
+					function()
+						require("telescope.builtin").lsp_references()
+					end,
+					"Find references",
+				},
+			},
+			K = { vim.lsp.buf.hover, "Display information about symbol under cursor" },
+		})
+		whichkey.register({
+			["<C-k>"] = { vim.lsp.buf.signature_help, "Display signature information about symbol under cursor" },
+		})
+		whichkey.register({
+			w = {
+				a = { vim.lsp.buf.add_workspace_folder, "Add a path to the workspace folders list" },
+				r = { vim.lsp.buf.add_workspace_folder, "Remove a path from the workspace folders list" },
+				l = {
+					function()
+						print(vim.inspect(vim.lsp.buf.list_workspace_folders()))
+					end,
+					"Show the workspace folders list",
+				},
+			},
+			f = {
+				function()
+					vim.lsp.buf.format({ async = true })
+				end,
+				"Autoformat",
+			},
+			c = {
+				a = { vim.lsp.buf.code_action, "Select a code action" },
+			},
+			r = {
+				n = { vim.lsp.buf.rename, "Rename variable" },
+			},
+			D = { vim.lsp.buf.type_definition, "Go to type definition" },
+		}, { prefix = vim.api.nvim_get_var("mapleader") })
+	end,
+})
--- a/home-manager/nvim/nvim-dap-python.lua
+++ b/home-manager/nvim/nvim-dap-python.lua
@@ -0,0 +1 @@
+require("dap-python").setup("%PYTHONENV%/bin/python")
--- a/home-manager/nvim/nvim-dap.lua
+++ b/home-manager/nvim/nvim-dap.lua
@@ -0,0 +1,66 @@
+local dap = require("dap")
+local dap_ui = require("dap.ui.widgets")
+dap.adapters.coreclr = {
+	type = "executable",
+	command = "netcoredbg",
+	args = { "--interpreter=vscode" },
+}
+
+dap.configurations.fsharp = {
+	{
+		type = "coreclr",
+		name = "launch - netcoredbg",
+		request = "launch",
+		program = function()
+			return vim.fn.input("Path to dll: ", vim.fn.getcwd() .. "/bin/Debug/", "file")
+		end,
+	},
+}
+
+dap.configurations.cs = {
+	{
+		type = "coreclr",
+		name = "launch - netcoredbg",
+		request = "launch",
+		program = function()
+			return vim.fn.input("Path to dll: ", vim.fn.getcwd() .. "/bin/Debug/", "file")
+		end,
+	},
+}
+
+do
+	local whichkey = require("which-key")
+	whichkey.register({
+		d = {
+			name = "Debugger-related commands",
+			o = { dap.step_over, "Step over" },
+			i = { dap.step_into, "Step into" },
+			c = { dap.continue, "Continue" },
+			C = { dap.run_last, "Run with last debug configuration" },
+			b = { dap.toggle_breakpoint, "Toggle breakpoint" },
+			r = { dap.repl.open, "Open debug repl" },
+			v = {
+				name = "Commands to view debugger state",
+				v = {
+					function()
+						dap_ui.hover()
+					end,
+					"View value of expression under cursor",
+				},
+				s = {
+					function()
+						dap_ui.sidebar(dap_ui.scopes).open()
+					end,
+					"View values of all variables in all scopes",
+				},
+				f = {
+					function()
+						dap_ui.sidebar(dap_ui.frames).open()
+					end,
+					"View stack frames",
+				},
+			},
+			t = { dap.terminate, "Terminate/stop/end debug session" },
+		},
+	}, { prefix = vim.api.nvim_get_var("maplocalleader") })
+end
--- a/home-manager/nvim/nvim-lightbulb.lua
+++ b/home-manager/nvim/nvim-lightbulb.lua
@@ -0,0 +1,9 @@
+require("nvim-lightbulb").setup({
+	autocmd = { enabled = true },
+	ignore = {
+		clients = {
+			-- This one is really noisy
+			"lua_ls",
+		},
+	},
+})
--- a/home-manager/nvim/roslyn-nvim.lua
+++ b/home-manager/nvim/roslyn-nvim.lua
@@ -0,0 +1,4 @@
+require("roslyn").setup({
+	on_attach = function(_, _) end,
+	capabilities = vim.lsp.protocol.make_client_capabilities(),
+})
--- a/home-manager/nvim/tokyonight.lua
+++ b/home-manager/nvim/tokyonight.lua
@@ -0,0 +1,5 @@
+require("tokyonight").setup({
+	style = "night",
+})
+
+vim.cmd([[colorscheme tokyonight]])
--- a/home-manager/nvim/treesitter.lua
+++ b/home-manager/nvim/treesitter.lua
@@ -0,0 +1,9 @@
+require("nvim-treesitter.configs").setup({
+	-- Automatically install missing parsers when entering buffer
+	-- Recommendation: set to false if you don't have `tree-sitter` CLI installed locally
+	auto_install = false,
+
+	highlight = {
+		enable = true,
+	},
+})
--- a/home-manager/nvim/venv-selector.lua
+++ b/home-manager/nvim/venv-selector.lua
@@ -0,0 +1,102 @@
+local venv_selector = require("venv-selector")
+
+venv_selector.setup({
+	changed_venv_hooks = { venv_selector.hooks.pyright },
+	name = { "venv", ".venv" },
+})
+
+vim.api.nvim_create_autocmd("VimEnter", {
+	desc = "Auto select virtualenv Nvim open",
+	pattern = "*",
+	callback = function()
+		-- Mystery: this seems to be being called twice whenever we open nvim
+		local venv = vim.fn.findfile("pyproject.toml", vim.fn.getcwd() .. ";")
+		if venv ~= "" then
+			require("venv-selector").retrieve_from_cache()
+		end
+	end,
+	once = true,
+})
+
+function SelectVenv()
+	local old_path = vim.fn.getenv("PATH")
+	vim.cmd("VenvSelectCached")
+	local new_path = vim.fn.getenv("PATH")
+	if old_path == new_path then
+		-- Failed to source venv. Get the user to choose one.
+		vim.cmd("VenvSelect")
+	end
+end
+
+local function find_requirements_txt(start_path)
+	local path = vim.fn.fnamemodify(start_path, ":p")
+	while path and #path > 1 do
+		local req_path = path .. "requirements.txt"
+		if vim.fn.filereadable(req_path) ~= 0 then
+			return req_path
+		end
+		path = vim.fn.fnamemodify(path, ":h")
+	end
+	return nil
+end
+
+-- TODO: make this one work
+local function load_venv(venv_dir)
+	require("venv-selector.venv").load()
+	require("venv-selector.venv").set_venv_and_system_paths(venv_dir)
+	require("venv-selector.venv").cache_venv(venv_dir)
+end
+
+function CreateVenv()
+	local requirements_path = find_requirements_txt(vim.fn.getcwd())
+	local venv_dir
+	if not requirements_path then
+		print("requirements.txt not found; creating fresh venv in current working directory.")
+		venv_dir = vim.fn.getcwd() .. "/.venv"
+	else
+		venv_dir = vim.fn.fnamemodify(requirements_path, ":h") .. "/.venv"
+	end
+
+	print("Creating virtual environment in " .. venv_dir)
+
+	-- Create virtual environment
+	vim.fn.system("python -m venv " .. vim.fn.shellescape(venv_dir))
+
+	-- Install requirements
+	if requirements_path then
+		print("Installing requirements from " .. requirements_path)
+		local context = BuildUtils.create_window()
+		BuildUtils.run(
+			venv_dir .. "/bin/python",
+			{ "-m", "pip", "install", "-r", requirements_path },
+			"venv creation",
+			context,
+			function(_, _, _) end,
+			function(_, _, _)
+				load_venv(venv_dir)
+			end
+		)
+	else
+		load_venv(venv_dir)
+	end
+end
+
+do
+	local whichkey = require("which-key")
+	whichkey.register({
+		p = {
+			name = "Python-related commands",
+			v = {
+				name = "Virtual environment-related commands",
+				c = { CreateVenv, "Create virtual environment" },
+				l = { SelectVenv, "Load virtual environment" },
+				o = {
+					function()
+						vim.cmd("VenvSelect")
+					end,
+					"Choose (override) new virtual environment",
+				},
+			},
+		},
+	}, { prefix = vim.api.nvim_get_var("maplocalleader") })
+end
--- a/home-manager/nvim/which-key.lua
+++ b/home-manager/nvim/which-key.lua
@@ -0,0 +1,88 @@
+require("which-key").setup({
+	plugins = {
+		marks = true, -- shows a list of your marks on ' and `
+		registers = true, -- shows your registers on " in NORMAL or <C-r> in INSERT mode
+		-- the presets plugin, adds help for a bunch of default keybindings in Neovim
+		-- No actual key bindings are created
+		spelling = {
+			enabled = true, -- enabling this will show WhichKey when pressing z= to select spelling suggestions
+			suggestions = 20, -- how many suggestions should be shown in the list?
+		},
+		presets = {
+			operators = true, -- adds help for operators like d, y, ...
+			motions = true, -- adds help for motions
+			text_objects = true, -- help for text objects triggered after entering an operator
+			windows = true, -- default bindings on <c-w>
+			nav = true, -- misc bindings to work with windows
+			z = true, -- bindings for folds, spelling and others prefixed with z
+			g = true, -- bindings for prefixed with g
+		},
+	},
+	-- add operators that will trigger motion and text object completion
+	-- to enable all native operators, set the preset / operators plugin above
+	operators = { gc = "Comments" },
+	key_labels = {
+		-- override the label used to display some keys. It doesn't effect WK in any other way.
+		-- For example:
+		-- ["<space>"] = "SPC",
+		-- ["<cr>"] = "RET",
+		-- ["<tab>"] = "TAB",
+	},
+	motions = {
+		count = true,
+	},
+	icons = {
+		breadcrumb = "»", -- symbol used in the command line area that shows your active key combo
+		separator = "➜", -- symbol used between a key and it's label
+		group = "+", -- symbol prepended to a group
+	},
+	popup_mappings = {
+		scroll_down = "<c-d>", -- binding to scroll down inside the popup
+		scroll_up = "<c-u>", -- binding to scroll up inside the popup
+	},
+	window = {
+		border = "none", -- none, single, double, shadow
+		position = "bottom", -- bottom, top
+		margin = { 1, 0, 1, 0 }, -- extra window margin [top, right, bottom, left]. When between 0 and 1, will be treated as a percentage of the screen size.
+		padding = { 1, 2, 1, 2 }, -- extra window padding [top, right, bottom, left]
+		winblend = 0, -- value between 0-100 0 for fully opaque and 100 for fully transparent
+		zindex = 1000, -- positive value to position WhichKey above other floating windows.
+	},
+	layout = {
+		height = { min = 4, max = 25 }, -- min and max height of the columns
+		width = { min = 20, max = 50 }, -- min and max width of the columns
+		spacing = 3, -- spacing between columns
+		align = "left", -- align columns left, center or right
+	},
+	ignore_missing = false, -- enable this to hide mappings for which you didn't specify a label
+	hidden = { "<silent>", "<cmd>", "<Cmd>", "<CR>", "^:", "^ ", "^call ", "^lua " }, -- hide mapping boilerplate
+	show_help = true, -- show a help message in the command line for using WhichKey
+	show_keys = true, -- show the currently pressed key and its label as a message in the command line
+	triggers = "auto", -- automatically setup triggers
+	-- triggers = {"<leader>"} -- or specifiy a list manually
+	-- list of triggers, where WhichKey should not wait for timeoutlen and show immediately
+	triggers_nowait = {
+		-- marks
+		"`",
+		"'",
+		"g`",
+		"g'",
+		-- registers
+		'"',
+		"<c-r>",
+		-- spelling
+		"z=",
+	},
+	triggers_blacklist = {
+		-- list of mode / prefixes that should never be hooked by WhichKey
+		-- this is mostly relevant for keymaps that start with a native binding
+		i = { "j", "k" },
+		v = { "j", "k" },
+	},
+	-- disable the WhichKey popup for certain buf types and file types.
+	-- Disabled by default for Telescope
+	disable = {
+		buftypes = {},
+		filetypes = {},
+	},
+})
--- a/home-manager/rider/link.sh
+++ b/home-manager/rider/link.sh
@@ -3,17 +3,19 @@
 outfile="$1/resharper-host/GlobalSettingsStorage.DotSettings"
 if [ -e "$outfile" ]; then
  existing=$(readlink "$outfile")
-  if [ $? -eq 1 ] ; then
+  if [ $? -eq 1 ]; then
    echo "Backing up existing settings file $outfile"
    mv "$outfile" "$outfile.bak"
    ln -s "NIX-RIDER-CONFIG/GlobalSettingsStorage.DotSettings" "$outfile"
  else
    case "$existing" in
      "/nix/store/"*)
-        ln -fs "NIX-RIDER-CONFIG/GlobalSettingsStorage.DotSettings" "$outfile" ;;
+        ln -fs "NIX-RIDER-CONFIG/GlobalSettingsStorage.DotSettings" "$outfile"
+        ;;
      *)
-      echo "Refusing to overwrite existing symlink to $existing" && \
-      exit 1 ;;
+        echo "Refusing to overwrite existing symlink to $existing" &&
+          exit 1
+        ;;
    esac
  fi
 else
--- a/home-manager/vscode-extensions.nix
+++ b/home-manager/vscode-extensions.nix
@@ -14,6 +14,8 @@ with pkgs.vscode-extensions;
    shardulm94.trailing-spaces
    nvarner.typst-lsp
    arrterian.nix-env-selector
+    # Doesn't build on arm64
+    # vadimcn.vscode-lldb
  ]
  ++ pkgs.vscode-utils.extensionsFromVscodeMarketplace [
    {
@@ -41,22 +43,16 @@ with pkgs.vscode-extensions;
      sha256 = "yk7buEyQIw6aiUizAm+sgalWxUibIuP9crhyBaOjC2E=";
    }
    {
-      name = "Ionide-Paket";
-      publisher = "Ionide";
-      version = "2.0.0";
-      sha256 = "1455zx5p0d30b1agdi1zw22hj0d3zqqglw98ga8lj1l1d757gv6v";
-    }
-    {
-      name = "lean";
-      publisher = "jroesch";
-      version = "0.16.58";
-      sha256 = "sha256-e5+C6dAcpet4xOiifmTJ1vm2pNrcPhx/mjl70il5NG0=";
+      name = "ionide-fsharp";
+      publisher = "ionide";
+      version = "7.18.1";
+      sha256 = "sha256-6NPMQncoZhZYtx5c+qzarjuSzUXMb5HdKCzcHPCFUhU=";
    }
    {
      name = "lean4";
      publisher = "leanprover";
-      version = "0.0.101";
-      sha256 = "sha256-tHxP6X6qp3qVkkCn5TjhHrYHHvGGWJ4kYE7la6bPT6w=";
+      version = "0.0.128";
+      sha256 = "sha256-odRDOrlDFahweLzoQtpufY8UUwAutPFunqg7atTxnPo=";
    }
    {
      name = "vscode-clang";
@@ -89,23 +85,3 @@ with pkgs.vscode-extensions;
      sha256 = "sha256-lLLa8SN+Sf9Tbi7HeWYWa2KhPQFJyQWrf9l3EUljwYo=";
    }
  ]
-  ++ [
-    (let
-      vsix = builtins.fetchurl {
-        name = "vadimcn-vscode-lldb.zip";
-        url = "https://github.com/vadimcn/codelldb/releases/download/v1.9.0/codelldb-aarch64-darwin.vsix";
-        sha256 = "sha256:1kxrxxlzasa9jl73lqh3n36fzpdgh2hbxpzp8fk6xyzcc5vm9zfb";
-      };
-    in
-      pkgs.vscode-utils.buildVscodeExtension
-      {
-        vsix = vsix;
-        src = vsix;
-        vscodeExtPublisher = "vadimcn";
-        vscodeExtName = "vscode-lldb";
-        vscodeExtUniqueId = "vadimcn-vscode-lldb";
-        publisher = "vadimcn";
-        version = "1.9.0";
-        name = "vadimcn-vscode-lldb-1.9.0";
-      })
-  ]
Author	SHA1	Message	Date
Smaug123	d783fe475e	Don't allow CHADtree to change what it points to	2024-03-28 15:26:19 +00:00
Patrick Stevens	77d7d402c3	More languages, clean up keybinds (#44 )	2024-03-27 23:41:43 +00:00
Patrick Stevens	b69b9248f9	More F# and .NET stuff (#43 )	2024-03-27 20:30:31 +00:00
Patrick Stevens	e91fb514fe	More language servers (#42 )	2024-03-26 21:33:10 +00:00
Patrick Stevens	07b3034bc0	Commonise floating-window logic (#41 )	2024-03-26 09:31:39 +00:00
Patrick Stevens	a734e7f73f	Fix up neovim deprecations (#40 )	2024-03-26 00:27:53 +00:00
Patrick Stevens	010498edce	Also style-check Lua (#39 )	2024-03-26 00:15:10 +00:00
Patrick Stevens	87492c2abe	Big neovim overhaul (#38 )	2024-03-26 00:04:01 +00:00
Patrick Stevens	15e603063a	Remove sops (#37 )	2024-03-26 00:00:04 +00:00
Patrick Stevens	028817765e	Evil-mode (#36 )	2024-03-25 23:55:45 +00:00
Patrick Stevens	7b14690664	Remove vscode-lldb, it doesn't actually work (#35 )	2024-03-25 23:51:12 +00:00
Patrick Stevens	5647f009fb	Reduce dependence on oh-my-zsh (#34 )	2024-03-25 23:49:39 +00:00
dependabot[bot]	31e8d08da3	Bump cachix/install-nix-action from 25 to 26 (#33 )	2024-03-11 07:30:57 +00:00
Patrick Stevens	75c77e99c0	Rem oh-my-zsh (#32 )	2024-02-23 22:47:37 +00:00
Patrick Stevens	ef6d3d4445	FiraCode (#31 )	2024-02-23 14:18:18 +00:00
Patrick Stevens	a3a8a5598a	Add some extensions (#30 )	2024-02-23 11:11:31 +00:00
Patrick Stevens	6af765d032	Update (#29 )	2024-01-29 00:42:13 +00:00
dependabot[bot]	02c87e8ea4	Bump cachix/install-nix-action from 24 to 25 (#28 ) Bumps [cachix/install-nix-action](https://github.com/cachix/install-nix-action) from 24 to 25. - [Release notes](https://github.com/cachix/install-nix-action/releases) - [Commits](https://github.com/cachix/install-nix-action/compare/v24...v25) --- updated-dependencies: - dependency-name: cachix/install-nix-action dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>	2024-01-15 01:58:46 +00:00
dependabot[bot]	0339c1f051	Bump cachix/install-nix-action from 23 to 24 (#27 ) Bumps [cachix/install-nix-action](https://github.com/cachix/install-nix-action) from 23 to 24. - [Release notes](https://github.com/cachix/install-nix-action/releases) - [Commits](https://github.com/cachix/install-nix-action/compare/v23...v24) --- updated-dependencies: - dependency-name: cachix/install-nix-action dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>	2023-12-04 09:11:42 +00:00
Patrick Stevens	3743aead94	Mailcap and flake check (#26 )	2023-10-04 14:25:52 +00:00
Patrick Stevens	8f956b631c	Add mailcap (#25 )	2023-10-04 15:11:10 +01:00
Patrick Stevens	142e7f2244	Improve Git config, add lynx, add F# Vim config (#24 )	2023-10-04 15:04:44 +01:00
dependabot[bot]	166ef06a35	Bump actions/checkout from 3 to 4 (#22 ) Bumps [actions/checkout](https://github.com/actions/checkout) from 3 to 4. - [Release notes](https://github.com/actions/checkout/releases) - [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md) - [Commits](https://github.com/actions/checkout/compare/v3...v4) --- updated-dependencies: - dependency-name: actions/checkout dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>	2023-09-11 09:09:19 +01:00
dependabot[bot]	b07f725d3d	Bump cachix/install-nix-action from 22 to 23 (#23 ) Bumps [cachix/install-nix-action](https://github.com/cachix/install-nix-action) from 22 to 23. - [Release notes](https://github.com/cachix/install-nix-action/releases) - [Commits](https://github.com/cachix/install-nix-action/compare/v22...v23) --- updated-dependencies: - dependency-name: cachix/install-nix-action dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>	2023-09-11 09:07:16 +01:00
				`@@ -0,0 +1 @@`
				`require("dap-python").setup("%PYTHONENV%/bin/python")`