Я хочу изменить настройки прокси Firefox на лету (нет, я не буду устанавливать стороннее расширение для этого). Я хочу открыть экземпляр Firefox без изменения настроек прокси-сервера по умолчанию. Случай использования заключается в том, что я получаю доступ к научным журналам через свою школу. Прямо сейчас, если я хочу получить журнал, я ssh в и настроить прокси SOCKS с
ssh -D 1080 me@school.edu
как в https://unix.stackexchange.com/questions/38755/how-to-download-a-file-through-an-ssh-server. Затем я открываю firefox и выбираю ручной SOCKS прокси на 127.0.0.1 на порту 1080. Это работает отлично, за исключением того, что это головная боль, чтобы делать это каждый раз, когда я хочу просмотреть в сети моей школы. Кроме того, это меняет мои настройки по умолчанию, поэтому все экземпляры firefox запускаются через прокси-сервер SOCKS, и когда я закончу, мне нужно вернуть все настройки обратно.
Есть ли опция командной строки или небольшой скрипт, чтобы открыть один экземпляр Firefox с желаемыми настройками прокси? Если не считать того, каким будет мой следующий лучший вариант?
К вашему сведению, я работаю с Debian, Джесси.