nixpkgs/pkgs
Eelco Dolstra d897fc5501 * Some prototype code to make dealing with options in Nixpkgs/NixOS
easier.  Instead of writing

    config.get ["foo" "bar"]

  it would be much cleaner to just write

    config.foo.bar

  only this doesn't handle the case where option foo.bar is not
  supplied in the configuration; in that case we need to take the
  default value from some set of option definitions
  (system/options.nix in NixOS).

  Following a suggestion from Martin, the function `combine' (need
  better name) takes a set of option definitions (which follow the
  attribute set structure of the options) and a set of options and
  fills in missing values in the latter with default values from the
  former.  This only works with very recent versions of Nix (it needs
  Marc Weber's listToAttrs primop).

svn path=/nixpkgs/trunk/; revision=9203
2007-08-27 15:10:48 +00:00
..
applications * Rewrite all the kernel.org URLs to mirror://kernel/. 2007-08-27 13:59:40 +00:00
build-support * Support for mirror:// URLs a la Gentoo (NIXPKGS-70). Instead of 2007-08-27 12:44:01 +00:00
configs/etc d'oh, don't actually gzip it 2006-03-08 19:25:44 +00:00
data * Rewrite all the SourceForge URLs to mirror://sourceforge/. 2007-08-27 13:01:33 +00:00
desktops * Added ktorrent. To use, add your ~/.nix-profile to the KDEDIRS 2007-08-09 16:55:14 +00:00
development * Rewrite all URLs to GNU mirrors to mirror://gnu/. 2007-08-27 13:42:00 +00:00
games * Rewrite all the SourceForge URLs to mirror://sourceforge/. 2007-08-27 13:01:33 +00:00
lib * Some prototype code to make dealing with options in Nixpkgs/NixOS 2007-08-27 15:10:48 +00:00
misc * Rewrite all URLs to GNU mirrors to mirror://gnu/. 2007-08-27 13:42:00 +00:00
os-specific/linux * Rewrite all the kernel.org URLs to mirror://kernel/. 2007-08-27 13:59:40 +00:00
servers * Rewrite all the SourceForge URLs to mirror://sourceforge/. 2007-08-27 13:01:33 +00:00
shells * Reverted r6713, r6711, r4623, r3660, r2237. There rewrote fetchurl 2007-08-24 12:32:36 +00:00
stdenv * Rewrite all the SourceForge URLs to mirror://sourceforge/. 2007-08-27 13:01:33 +00:00
test * "." -> "source". 2005-12-05 14:11:09 +00:00
tools * Rewrite all the kernel.org URLs to mirror://kernel/. 2007-08-27 13:59:40 +00:00
top-level * Reverted r6713, r6711, r4623, r3660, r2237. There rewrote fetchurl 2007-08-24 12:32:36 +00:00