Move ELAN_HOME here since it's laptop-specific, and if I clone my dotfiles elsewhere and use Lean I don't want Elan trying to write into /opt/elan

Changes

2 changed files (+9/-5)

• ThinkPad-X1-Yoga-Gen-6/default.nix
  • @@ -98,8 +98,12 @@
    texliveSmall ]; - # For VSCodium - environment.variables.NIXOS_OZONE_WL = "1"; + environment.variables = { + # Lean toolchains are huge so put them outside of ~ so they don't end up in backups or snapshots + ELAN_HOME = "/opt/elan"; + # Make Electron apps use Wayland + NIXOS_OZONE_WL = "1"; + }; fonts = { # The default CJK font (Unifont) looks atrocious
• flake.lock
  • @@ -23,11 +23,11 @@
    }, "nixpkgs": { "locked": { - "lastModified": 1760038930, - "narHash": "sha256-Oncbh0UmHjSlxO7ErQDM3KM0A5/Znfofj2BSzlHLeVw=", + "lastModified": 1760284886, + "narHash": "sha256-TK9Kr0BYBQ/1P5kAsnNQhmWWKgmZXwUQr4ZMjCzWf2c=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "0b4defa2584313f3b781240b29d61f6f9f7e0df3", + "rev": "cf3f5c4def3c7b5f1fc012b3d839575dbe552d43", "type": "github" }, "original": {