diff options
| author | Griffin Smith <grfn@gws.fyi> | 2020-07-06T14·32-0400 |
|---|---|---|
| committer | glittershark <grfn@gws.fyi> | 2020-07-13T23·41+0000 |
| commit | cc12188d31be955ed9c7f79a1d23c36e73f16c99 (patch) | |
| tree | 1abc97576e8731c9031c6cbd388f07db4aae29ed /users/glittershark/system/home/modules/development/agda.nix | |
| parent | ae16a8e9cf8f75a04442b0ddc40d83fb218dd33b (diff) | |
feat(gs/home): Integrate home-manager with depot r/1282
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 <lukegb@tvl.fyi>
Diffstat (limited to 'users/glittershark/system/home/modules/development/agda.nix')
| -rw-r--r-- | users/glittershark/system/home/modules/development/agda.nix | 7 |
1 files changed, 2 insertions, 5 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 |