Estou usando o OS X Lion. Às vezes, e dependendo se estou em casa ou trabalho, preciso alterar o proxy inteiro e especificar um deles. Isso pode ser feito à mão, obviamente, mas eu me pergunto se eu poderia avaliar isso em algum atalho ou procedimento mais fácil.