Merge pull request #16189 from zimbatm/usershell-config

User shell config
2016-06-19 23:36:45 +01:00
parent b0f8416c5c 2974b6f4c8
commit 31c158ad45
17 changed files with 85 additions and 20 deletions
@@ -100,6 +100,10 @@ rec {
        in if isDerivation res then res else toDerivation res;
    };

+    shellPackage = package // {
+      check = x: (package.check x) && (hasAttr "shellPath" x);
+    };
+
    path = mkOptionType {
      name = "path";
      # Hacky: there is no ‘isPath’ primop.