about summary refs log tree commit diff
path: root/users/glittershark/system/home/modules/development
diff options
context:
space:
mode:
Diffstat (limited to 'users/glittershark/system/home/modules/development')
-rw-r--r--users/glittershark/system/home/modules/development/agda.nix7
-rw-r--r--users/glittershark/system/home/modules/development/kube.nix5
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
   ];