diff options
Diffstat (limited to 'users/glittershark/system/home/modules/development')
-rw-r--r-- | users/glittershark/system/home/modules/development/agda.nix | 7 | ||||
-rw-r--r-- | users/glittershark/system/home/modules/development/kube.nix | 5 |
2 files changed, 3 insertions, 9 deletions
diff --git a/users/glittershark/system/home/modules/development/agda.nix b/users/glittershark/system/home/modules/development/agda.nix index 7a197e907f3c..bed05693aa40 100644 --- a/users/glittershark/system/home/modules/development/agda.nix +++ b/users/glittershark/system/home/modules/development/agda.nix @@ -1,10 +1,7 @@ { config, lib, pkgs, ... }: let - - nixpkgs-unstable = import <nixpkgs-unstable> {}; - - agda-categories = with nixpkgs-unstable.agdaPackages; mkDerivation rec { + agda-categories = with pkgs.agdaPackages; mkDerivation rec { pname = "agda-categories"; version = "2128fab"; src = pkgs.fetchFromGitHub { @@ -25,7 +22,7 @@ in ]; home.packages = with pkgs; [ - (nixpkgs-unstable.agda.withPackages + (pkgs.agda.withPackages (p: with p; [ p.standard-library diff --git a/users/glittershark/system/home/modules/development/kube.nix b/users/glittershark/system/home/modules/development/kube.nix index 346dd57dee7e..97ae4760d43b 100644 --- a/users/glittershark/system/home/modules/development/kube.nix +++ b/users/glittershark/system/home/modules/development/kube.nix @@ -1,13 +1,10 @@ { config, lib, pkgs, ... }: -let - pkgs-unstable = import <nixpkgs-unstable> {}; -in { home.packages = with pkgs; [ kubectl kubetail sops - pkgs-unstable.kubie + kubie # pkgs-unstable.argocd # provided by urbos ]; |