I don't think I ever adjusted my proxy settings (I don't use one normally); if I did in the past (for testing something, perhaps), I would have used the Network panel in gnome-control-center (i.e. running 'gnome-control-center network').
What is the "correct" setting of ignore-hosts supposed to be?
(A VCS plugin for things like gsettings would probably useful to record the reasons for changes being made.)
I don't think I ever adjusted my proxy settings (I don't use one normally); if I did in the past (for testing something, perhaps), I would have used the Network panel in gnome-control- center (i.e. running 'gnome- control- center network').
What is the "correct" setting of ignore-hosts supposed to be?
(A VCS plugin for things like gsettings would probably useful to record the reasons for changes being made.)