Normalmente, os navegadores da Web, como o Firefox, usam as configurações de proxy do sistema por meio da variável de ambiente http_proxy
, mas isso pode ser alterado no menu:
"Editar" > "Preferências"
Se a partir de um terminal você inserir firefox -ProfileManager
, poderá criar um perfil separado para cada um dos proxies que deseja usar.
Você pode então abrir o firefox com um perfil específico com
firefox -P "profile1"
substituindo profile1 pelo perfil do servidor proxy que você deseja.
Dito isto, a melhor maneira de fazer isso é usar a variável http_proxy.
Consulte aqui para obter mais informações sobre link