From 97134ce9568cec8b1c6435cbcce3f4ba33af8364 Mon Sep 17 00:00:00 2001 From: Henri Dohmen Date: Sat, 1 Nov 2025 11:58:11 +0100 Subject: [PATCH] maintenance --- common/shell.nix | 1 - desktop/software/default.nix | 2 -- devshells/default.nix | 2 +- 3 files changed, 1 insertion(+), 4 deletions(-) diff --git a/common/shell.nix b/common/shell.nix index 10c077b..f439873 100644 --- a/common/shell.nix +++ b/common/shell.nix @@ -7,7 +7,6 @@ environment.systemPackages = with pkgs; [ colmena - dive dnsutils fd htop diff --git a/desktop/software/default.nix b/desktop/software/default.nix index ed708ff..c2735d1 100644 --- a/desktop/software/default.nix +++ b/desktop/software/default.nix @@ -28,10 +28,8 @@ in fuzzel gh nil - rclone signal-desktop spotify-player - stow tor-browser usbutils vlc diff --git a/devshells/default.nix b/devshells/default.nix index ebd0c7a..265c8fa 100644 --- a/devshells/default.nix +++ b/devshells/default.nix @@ -1,6 +1,6 @@ { pkgs }: { agda = pkgs.mkShell { - buildINputs = with pkgs; [ agda ]; + buildInputs = with pkgs; [ agda ]; }; }