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 ]; }; }