diff options
Diffstat (limited to 'third_party/nixery')
-rw-r--r-- | third_party/nixery/default.nix | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/third_party/nixery/default.nix b/third_party/nixery/default.nix deleted file mode 100644 index 4b894ce1dde9..000000000000 --- a/third_party/nixery/default.nix +++ /dev/null @@ -1,18 +0,0 @@ -# Technically I suppose Nixery is not a third-party program, but it's -# outside of this repository ... -{ pkgs, ... }: - -let src = pkgs.fetchFromGitHub { - owner = "google"; - repo = "nixery"; - rev = "4f6ce83f9296545d6c74321b37d18545764c8827"; - sha256 = "19aiak1pss6vwm0fwn02827l5ir78fkqglfbdl2gchsyv3gps8bg"; -}; -in import src { - inherit pkgs; - preLaunch = '' - export USER=root - cachix use tazjin - ''; - extraPackages = with pkgs.third_party; [ cachix openssh ]; -} |