Василий

Должно быть достаточно просто перелогиниться. Можно сделать разные учетки для дома и работы или скриптом применять настройки прокси при логине в зависимости от настроек сети.