Hi,
The NixOS community mailing list has moved to discourse. You may get more answers an a better visibility at https://discourse.nixos.org/ .
As for your question, I have no idea of the answer, but you could have a look at http://web.archive.org/web/20160829175539/https://nixos.org/wiki/Proxies found by looking at https://github.com/NixOS/nixpkgs/issues/26051.
It seems to me that the simplest way to go is to keep the proxy while you build the new config without the proxy option. It that is not feasible, there are some shell tweaks described in the above wiki. You would have to reverse them, as they describe how to use a proxy when none was set up in the configuration, and you want the opposite.
Regards,
-- Layus
--
You received this message because you are subscribed to the Google Groups "nix-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email to nix-devel+...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/nix-devel/aa1d8e93-4329-44ee-9cbb-d3e2346423d3%40googlegroups.com.