diff options
| author | Marc Weber <marco-oweber@gmx.de> | 2008-08-06 16:56:05 +0000 |
|---|---|---|
| committer | Marc Weber <marco-oweber@gmx.de> | 2008-08-06 16:56:05 +0000 |
| commit | ec717200c805f089fe3c08ca174f79b16d2b9249 (patch) | |
| tree | 288f049a5c2c27f3abf8a1df3d23b07bd2591fdf /pkgs/tools/package-management | |
| parent | decf974c94bb6335dbb7f27748b93aa48728e17a (diff) | |
| download | nixlib-ec717200c805f089fe3c08ca174f79b16d2b9249.tar nixlib-ec717200c805f089fe3c08ca174f79b16d2b9249.tar.gz nixlib-ec717200c805f089fe3c08ca174f79b16d2b9249.tar.bz2 nixlib-ec717200c805f089fe3c08ca174f79b16d2b9249.tar.lz nixlib-ec717200c805f089fe3c08ca174f79b16d2b9249.tar.xz nixlib-ec717200c805f089fe3c08ca174f79b16d2b9249.tar.zst nixlib-ec717200c805f089fe3c08ca174f79b16d2b9249.zip | |
ghc68extralibraries: tidied up, no longer many small files, nicer indentation (at least same level now)
svn path=/nixpkgs/trunk/; revision=12517
Diffstat (limited to 'pkgs/tools/package-management')
| -rw-r--r-- | pkgs/tools/package-management/nixRepositoryManager/default.nix | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/pkgs/tools/package-management/nixRepositoryManager/default.nix b/pkgs/tools/package-management/nixRepositoryManager/default.nix index 9ac25e39bf19..12f28c9bdecb 100644 --- a/pkgs/tools/package-management/nixRepositoryManager/default.nix +++ b/pkgs/tools/package-management/nixRepositoryManager/default.nix @@ -14,10 +14,8 @@ args: with args; with lib; let toConfigLine = name : set : "[(\"name\",\"${name}\")," + ( concatStringsSep "," (map (a: "(\"${a}\",\"${__getAttr a set}\")" ) (__attrNames set)))+"]"; - nixPublishDir = getConfig [ "bleedingEdgeRepos" "bleedingEdgeFetchInfo"] "/tmp/bleeding-edge-fetch-info"; config = writeText "nix-repository-manager_config" (bleedingEdgeRepos.managedRepoDir+"\n" + - nixPublishDir+"\n" + concatStringsSep "\n" (mapRecordFlatten toConfigLine (bleedingEdgeRepos.repos))); in @@ -46,4 +44,5 @@ args.stdenv.mkDerivation { homepage = http://mawercer.de/repos/nix-repository-manager; license = "GPL"; }; + dummy=1; } |