Protect stable nixpkgs checkout from GC.
This commit is contained in:
parent
9e3a37a1f9
commit
64d4dc053a
@ -101,6 +101,8 @@
|
|||||||
|
|
||||||
coq_8_5
|
coq_8_5
|
||||||
emacsPackages.proofgeneral_4_3_pre
|
emacsPackages.proofgeneral_4_3_pre
|
||||||
|
|
||||||
|
stablePkgs # protect nixpkgs checkout from GC
|
||||||
] ++ (with aspellDicts; [ en de fr nl ]);
|
] ++ (with aspellDicts; [ en de fr nl ]);
|
||||||
|
|
||||||
nixpkgs.config.packageOverrides = pkgs: with pkgs; let
|
nixpkgs.config.packageOverrides = pkgs: with pkgs; let
|
||||||
@ -110,10 +112,10 @@
|
|||||||
owner = "NixOS";
|
owner = "NixOS";
|
||||||
repo = "nixpkgs-channels";
|
repo = "nixpkgs-channels";
|
||||||
};
|
};
|
||||||
stable = import (fetchNixPkgs {
|
stablePkgs = fetchNixPkgs {
|
||||||
rev = "f231b2b3f79020025eaabe4e8fae53e81651914c";
|
rev = "f231b2b3f79020025eaabe4e8fae53e81651914c";
|
||||||
sha256 = "0bnac2qsx2j5gl2vfqjswv096fnqvf7d5ids1442mk050yph0gix";
|
sha256 = "0bnac2qsx2j5gl2vfqjswv096fnqvf7d5ids1442mk050yph0gix";
|
||||||
}) {};
|
};
|
||||||
in {
|
in {
|
||||||
idea.idea-community = pkgs.idea.idea-community.overrideDerivation (oldAttrs: rec {
|
idea.idea-community = pkgs.idea.idea-community.overrideDerivation (oldAttrs: rec {
|
||||||
name = "idea-community-${version}";
|
name = "idea-community-${version}";
|
||||||
@ -128,7 +130,8 @@
|
|||||||
extraPythonPackages = [ pkgs.pythonPackages.websocket_client ];
|
extraPythonPackages = [ pkgs.pythonPackages.websocket_client ];
|
||||||
};
|
};
|
||||||
|
|
||||||
stable = stable;
|
stablePkgs = stablePkgs;
|
||||||
|
stable = import stablePkgs {};
|
||||||
};
|
};
|
||||||
|
|
||||||
nixpkgs.config.allowTexliveBuilds = true;
|
nixpkgs.config.allowTexliveBuilds = true;
|
||||||
|
Loading…
Reference in New Issue
Block a user