anchor.diff:          description = ''
             If enabled, any nameservers received by DHCP or configured in
             NetworkManager will be replaced by the nameservers configured
  -          in the <literal>networking.nameservers</literal> option.
  +          in the <literal>networking.nameservers</literal> option. This
  +          option overrides the <literal>appendNameservers</literal> option
  +          if both are enabled.
  +        '';
  +      };
  +
  +      appendNameservers = mkOption {
  +        default = false;
  +        description = ''
  +          If enabled, the name servers configured in the
  +          <literal>networking.nameservers</literal> option will be appended
  +          to the ones configured in NetworkManager or received by DHCP.
           '';
         };
   
  
positive.code:       { source = "${networkmanager_openconnect}/etc/NetworkManager/VPN/nm-openconnect-service.name";
          target = "NetworkManager/VPN/nm-openconnect-service.name";
        }
      ] ++ pkgs.lib.optional cfg.overrideNameservers
             { source = overrideNameserversScript;
               target = "NetworkManager/dispatcher.d/02overridedns";
             };
  
negative.code: 
    overrideNameserversScript = writeScript "02overridedns" ''
      #!/bin/sh
      ${optionalString cfg.overrideNameservers "${gnused}/bin/sed -i '/nameserver /d' /etc/resolv.conf"}
      ${concatStringsSep ";" (map (s: "echo 'nameserver ${s}' >> /etc/resolv.conf") config.networking.nameservers)}
    '';
  
  in {
  