diff options
author | Marc Weber <marco-oweber@gmx.de> | 2008-08-21 11:07:52 +0000 |
---|---|---|
committer | Marc Weber <marco-oweber@gmx.de> | 2008-08-21 11:07:52 +0000 |
commit | fa321143d17d54803e40d1c8dc6ad916db7cfd19 (patch) | |
tree | 679101503e5bc85233c59e05028af7550c753f04 /pkgs/development/misc | |
parent | c4270fb9b862e14b79a981c07fe4b0b613e368bd (diff) | |
download | nixlib-fa321143d17d54803e40d1c8dc6ad916db7cfd19.tar nixlib-fa321143d17d54803e40d1c8dc6ad916db7cfd19.tar.gz nixlib-fa321143d17d54803e40d1c8dc6ad916db7cfd19.tar.bz2 nixlib-fa321143d17d54803e40d1c8dc6ad916db7cfd19.tar.lz nixlib-fa321143d17d54803e40d1c8dc6ad916db7cfd19.tar.xz nixlib-fa321143d17d54803e40d1c8dc6ad916db7cfd19.tar.zst nixlib-fa321143d17d54803e40d1c8dc6ad916db7cfd19.zip |
bleeding edge repos: only use local tar.gz files when enabled by custom config
svn path=/nixpkgs/trunk/; revision=12681
Diffstat (limited to 'pkgs/development/misc')
-rw-r--r-- | pkgs/development/misc/bleeding-edge-repos/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/misc/bleeding-edge-repos/default.nix b/pkgs/development/misc/bleeding-edge-repos/default.nix index a5a4166b6e71..8ed2c80bacc4 100644 --- a/pkgs/development/misc/bleeding-edge-repos/default.nix +++ b/pkgs/development/misc/bleeding-edge-repos/default.nix @@ -15,7 +15,7 @@ args: sourceByName = name : let localTarGZ = managedRepoDir+"/dist/${name}.tar.gz"; fetchInfos = import ../../../misc/bleeding-edge-fetch-infos.nix; in - if pathExists localTarGZ + if (getConfig ["bleedingEdgeRepos" "useLocalRepos"] false ) && pathExists localTarGZ then localTarGZ else if __hasAttr name fetchInfos then (__getAttr name fetchInfos) { inherit fetchurl; } |