anchor.diff:      fi
     '';
   
  -  ns = xs: writeText "nameservers" (
  +  ns = xs: pkgs.writeText "nameservers" (
       concatStrings (map (s: "nameserver ${s}\n") xs)
     );
   
  -  overrideNameserversScript = writeScript "02overridedns" ''
  +  overrideNameserversScript = pkgs.writeScript "02overridedns" ''
       #!/bin/sh
  -    tmp=`${coreutils}/bin/mktemp`
  -    ${gnused}/bin/sed '/nameserver /d' /etc/resolv.conf > $tmp
  -    ${gnugrep}/bin/grep 'nameserver ' /etc/resolv.conf | \
  -      ${gnugrep}/bin/grep -vf ${ns (cfg.appendNameservers ++ cfg.insertNameservers)} > $tmp.ns
  -    ${optionalString (cfg.appendNameservers != []) "${coreutils}/bin/cat $tmp $tmp.ns ${ns cfg.appendNameservers} > /etc/resolv.conf"}
  -    ${optionalString (cfg.insertNameservers != []) "${coreutils}/bin/cat $tmp ${ns cfg.insertNameservers} $tmp.ns > /etc/resolv.conf"}
  -    ${coreutils}/bin/rm -f $tmp $tmp.ns
  +    tmp=`${pkgs.coreutils}/bin/mktemp`
  +    ${pkgs.gnused}/bin/sed '/nameserver /d' /etc/resolv.conf > $tmp
  +    ${pkgs.gnugrep}/bin/grep 'nameserver ' /etc/resolv.conf | \
  +      ${pkgs.gnugrep}/bin/grep -vf ${ns (cfg.appendNameservers ++ cfg.insertNameservers)} > $tmp.ns
  +    ${optionalString (cfg.appendNameservers != []) "${pkgs.coreutils}/bin/cat $tmp $tmp.ns ${ns cfg.appendNameservers} > /etc/resolv.conf"}
  +    ${optionalString (cfg.insertNameservers != []) "${pkgs.coreutils}/bin/cat $tmp ${ns cfg.insertNameservers} $tmp.ns > /etc/resolv.conf"}
  +    ${pkgs.coreutils}/bin/rm -f $tmp $tmp.ns
     '';
   
     dispatcherTypesSubdirMap = {
  
positive.code: { config, lib, pkgs, ... }:
  
  with pkgs;
  with lib;
  
  let
    cfg = config.networking.networkmanager;
  
negative.code:         description = ''
            Whether to use NetworkManager to obtain an IP address and other
            configuration for all network interfaces that are not manually
            configured. If enabled, a group `networkmanager` will be created.
            Add all users that should have permission to change network
            settings to this group.
          '';
        };
  
  