Changes
1 changed files (+59/-47)
-
-
@@ -62,53 +62,63 @@# Enable Podman because I'm weak and need my Arch Linux help I need it I really need it virtualisation.podman.enable = true; environment.systemPackages = with pkgs; [ # Math and Programming # mathlib requires elan to download a specific Lean version # It would be nicer to use lean4 from nixpkgs # But its lake has weird errors and the mathlib binary cache is only for the official Lean builds # Also nixpkgs is a bit out of date sometimes elan # Unfortunately python3 sage uv # For Lean # TODO: Patch for XDG support # https://aur.archlinux.org/packages/vscodium-xdg-dir-patch vscodium # Apps deja-dup kdePackages.plasma-keyboard kdePackages.tokodon keepassxc kile (mpv.override { scripts = with pkgs.mpvScripts; [ mpris visualizer ]; }) rnote signal-desktop # Utilities and other random junk ffmpeg fusee-nano hugo hunspellDicts.en-us-large imagemagick ripgrep sqlite texliveBasic ]; 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"; environment = { systemPackages = with pkgs; [ # Math and programming # mathlib requires elan to download a specific Lean version # It would be nicer to use lean4 from nixpkgs # But its lake has weird errors and the mathlib binary cache is only for the official Lean builds # Also nixpkgs is a bit out of date sometimes elan # Unfortunately python3 sage uv # For Lean # Patched for XDG support # https://discourse.nixos.org/t/can-i-install-vscodium-and-tweak-its-product-json/54481/3 (vscodium.overrideAttrs (oldAttrs: { postInstall = (oldAttrs.postInstall or "") + '' substituteInPlace $out/lib/vscode/resources/app/product.json --replace-fail .vscode-oss .local/share/VSCodium ''; })) # Apps deja-dup kdePackages.plasma-keyboard kdePackages.tokodon keepassxc kile (mpv.override { scripts = with pkgs.mpvScripts; [ mpris visualizer ]; }) rnote signal-desktop # Utilities and other random junk ffmpeg fusee-nano hugo hunspellDicts.en-us-large imagemagick ripgrep sqlite texliveBasic ]; 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 # This seems necessary for VSCodium in particular NIXOS_OZONE_WL = "1"; # For LuaLaTeX TEXMFVAR = "$HOME/.cache/texmf-var"; # Make VSCodium use XDG VSCODE_CLI_DATA_DIR = "$HOME/.local/share/VSCodium"; }; }; fonts = {
-
@@ -143,6 +153,8 @@# Save some disk space enableQt5Integration = false; }; # SDDM services.displayManager = { autoLogin.user = "a"; sddm.enable = true;
-