O ideal seria fazer a auto-detecção em todos os lugares... tem como fazer funcionar, mas dá um trabalhinho.
A auto-detecção de proxy no firefox se baseia em dois truques. O primeiro é um arquivo de configuração de proxy (PAC). Nele o administrador explica ao firefox como escolher o proxy a ser usado.
O segundo é a forma de carregar esse arquivo. Quando você ativa a auto-detecção, o navegador procura por esse arquivo de configuração pela URL "
http://wpad/wpad.dat". Então tudo que você precisa fazer é que quando ele tente carregar esse URL, chegue no seu arquivo de configuração.
O que eu pensei em fazer: você cria um arquivo PAC que consulta seu IP, e a partir dele escolhe se usa o proxy da faculdade, ou o de casa.
Ao mesmo tempo, você cria uma entrada no seu arquivo "/etc/hosts", apontando o nome "wpad" pra vc mesmo (127.0.0.1). Daí vc coloca o arquivo wpad.dat na raiz do seu webserver (esse é o inconveniente, instalar um webserver só pra isso).
Alternativa: salve o tal arquivo de configuração no seu perfil (p.ex. em /home/adriano/proxy.pac). Aí, em vez de usar "auto-detecção", usar um
Endereço para configuração automática de proxy[/b]. No Firefox, é a última opção, depois da configuração manual. Tudo que vc precisa fazer então é usar o endereço "file:///home/adriano/proxy.pac", nesse endereço.
Dá pra fazer assim... aliás, eu mesmo vou experimentar isso pra mim, pois tenho uma situação parecida (preciso de proxy no serviço, mas não uso em casa). Volto logo com mais informações.