anchor.diff:     
     };
   
  +  configuration = baseConfiguration // (configurationOverrides baseConfiguration);
   
     system = import ../../system/system.nix {
       inherit configuration platform nixpkgs;
     };
  -
   
     pkgs = system.pkgs;
   
  
positive.code:           ";
          }
        
          # Show the NixOS manual on tty7.
          { name = "manual";
            job = "
              env HOME=/root
              start on udev
              stop on shutdown
              respawn ${pkgs.w3m}/bin/w3m ${manual} < /dev/tty7 > /dev/tty7 2>&1
            ";
          }
  
          # Allow the user to do something useful on tty8 while waiting
          # for the installation to finish.
          { name = "rogue";
            job = "
              env HOME=/root
              chdir /root
              start on udev
              stop on shutdown
              respawn ${pkgs.rogue}/bin/rogue < /dev/tty8 > /dev/tty8 2>&1
            ";
          }
        ];
  
        # And a background to go with that.
        ttyBackgrounds = {
          specificThemes = [
            { tty = 7;
              # Theme is GPL according to http://kde-look.org/content/show.php/Green?content=58501.
              theme = pkgs.fetchurl {
                url = http://www.kde-look.org/CONTENT/content-files/58501-green.tar.gz;
                sha256 = "0sdykpziij1f3w4braq8r8nqg4lnsd7i7gi1k5d7c31m2q3b9a7r";
              };
            }
            /* url is broken
            { tty = 8;
              theme = pkgs.fetchurl {
                url = http://www.bootsplash.de/files/themes/Theme-GNU.tar.bz2;
                md5 = "61969309d23c631e57b0a311102ef034";
              };
            }
            */
          ];
        };
  
        mingetty = {
          helpLine = ''
  
negative.code:         enable = false;
        };
  
        showManual = {
          enable = true;
  	manualFile = manual;
        };
  
        rogue = {
          enable = true;
        };
  
        extraJobs = [
          # Unpack the NixOS/Nixpkgs sources to /etc/nixos.
          # !!! run this synchronously
  