From cc12188d31be955ed9c7f79a1d23c36e73f16c99 Mon Sep 17 00:00:00 2001 From: Griffin Smith Date: Mon, 6 Jul 2020 10:32:41 -0400 Subject: feat(gs/home): Integrate home-manager with depot Essentially the same as for nixos, so I can get whitby to compile stuff for me. Eventually I'll generalize this so things aren't as hardcoded to my particular setup, but for now I'm the only one in the depot who's using home-manager so this should be fine. Change-Id: I1cb0344f5a11eea68bddc98976999c0928dfa84e Reviewed-on: https://cl.tvl.fyi/c/depot/+/937 Tested-by: BuildkiteCI Reviewed-by: lukegb --- users/glittershark/system/home/modules/development/agda.nix | 7 ++----- users/glittershark/system/home/modules/development/kube.nix | 5 +---- 2 files changed, 3 insertions(+), 9 deletions(-) (limited to 'users/glittershark/system/home/modules/development') 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 {}; - - 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 {}; -in { home.packages = with pkgs; [ kubectl kubetail sops - pkgs-unstable.kubie + kubie # pkgs-unstable.argocd # provided by urbos ]; -- cgit 1.4.1