On Fri, 2014-11-14 at 13:55 +0100, Alexis Jeandet wrote:
my question was more about apps like YUM/DNF which doesn't care about gnome config and doesn't like pac files. My thoughts are that I should write maybe a simple scripts triggered by network manager which configures everything depending on the current host IP or something like this.
Have you looked through man yum.conf to see the proxy options? Perhaps you could write a network manager script to modify the yum.conf file each time you go online, and something checks for the pac file.
The alternative option, if you don't want users to go around customising things, is to use a transparent proxy, which everything goes through, without option.