Вам может потребоваться использовать инструмент автоматизации на уровне ОС, чтобы автоматизировать прохождение через меню FF, чтобы изменить настройку, как пользователь.
Для пользователей Windows существует опция либо нового инструмента RAutomation, либо AutoIT. оба могут быть использованы для автоматизации вещей на уровне пользовательского интерфейса ОС, что позволит вам войти в настройки браузера и изменить там прокси.
Тем не менее, я бы подумал, если вы проверяете большее количество сайтов, что издержки на изменение настроек прокси не будут такими большими по сравнению со всей навигацией по сайту и ожиданием загрузки страниц и т. Д.
Если вы в настоящее время не применяете подход «обход строки» и меняете настройки прокси несколько раз для каждого проверяемого сайта? Если это так, я бы пошел к методу по столбцам (если бы мы предполагали, что каждый столбец - прокси, а каждая строка - сайт) и запустил браузер для одного прокси, проверил все сайты, затем изменил прокси и перепроверь все сайты. Таким образом, вы будете изменять настройки прокси-сервера только один раз для каждого прокси-сервера, что не добавит слишком много накладных расходов в ваш скрипт.
Это может означать немного больше работы с сохранением и последующим отчетом о результатах (если вы выписывали их по очереди за раз), но для этого нужны хеши или массивы.