Sto cercando un modo per dire a Firefox di usare un proxy in Ubuntu Ludid (10.04.1 LTS).
Sto installando Ubuntu in modo semi-automatico su più macchine identiche. Per questo, uso uno script che, tra le altre cose, imposta le impostazioni proxy a livello di sistema:
echo "export http_proxy=http://myproxy:3128/" > /etc/profile.d/proxy.sh
echo "export HTTP_PROXY=http://myproxy:3128/" >> /etc/profile.d/proxy.sh
chmod a+x /etc/profile.d/proxy.sh
Posso confermare che le variabili sono impostate correttamente al momento del check in di una shell. La maggior parte dei programmi rispetta questa impostazione e usa il mio proxy. Firefox, tuttavia, non lo fa. Quando apro la finestra di dialogo delle impostazioni della connessione di rete, tuttavia, è preimpostato su "usa impostazioni di sistema" per il proxy.
Cosa si aspetta Firefox qui? Una variabile con un nome diverso? Posso impostare qualcosa in prefs.js di FF?