Будет ли работать прошивка плат, не входящих в ядро, без интернета?

Предыстория вопроса
Вначале была идея. И эта идея была - автоматизация теплицы.
Начал с нуля и 1-е устройство было на модулях Arduino Uno, DS3231 и реле. И увидел я что это плохо, решил перейти на SMD, чипы и программатор. Затратив немало времени, родил и увидел что это намного лучше конструкций на модулях.
Проблема в том, что теплица - сложный объект и растения в ней не растут, а мучаются из-за огромных скачков температуры и влажности. Добиться поддержки оптимальных параметров - задача не из лёгких и требует массы экспериментов на месте, т.е. постоянных перепрошивок. Но как перепрошить устройство, когда оно уже установлено, к нему подключены датчики и ИМ-мы?
И тут услышал я волшебное слово: ESP! WiFi мне в руки, решил я и заказал модули NodeMCU. Попробовал прошивать по воздуху - Arduino OTA и вроде всё пошло, в скетч добавляется всего 3 строчки и прошивка летит через эфир, но...
Тут уже сама проблема
На даче я не живу и интернета там нет, но есть старый ПК. Кажется осталось добавить к нему свисток WiFi и дело в шляпе. Попробовал отключать интернет - прошивка идёт. Однако стоит только перезагрузить ПК, как вся поддержка ESP и других дополнительных платформ слетает, но почему?

Для того чтобы Arduino IDE подключила платформу ESP, в настройки надо вписать ссылку на файлы описания дополнительных плат. При добавлении поддержки платформ, не входящих в ядро, менеджер плат по этой ссылке скачивает и устанавливает указанный пакет. Казалось бы, пакет плат установлен на ПК и интернет больше не нужен. Однако поддержка возвращается только после восстановления интернета и рестарта роутера. Получается, Arduino IDE всё равно в начале работы обращается по ссылке, т.е. без интернета не обойтись?
Более того, все мои платы на чипах AVR тоже не будут прошиваться без интернета даже по шнурку, потому что их поддержка тоже не входит в ядро, т.е., как бы не совсем резидентна?​

 

То есть прошить по воздуху без интернета нельзя, так что ли?
И эта штучка - чем она отличается от обычного WiFi роутера? Что даёт?

 

@cofessor, попробуйте отключить в настройках Arduino IDE "проверять обновления при запуске". Летом столкнулся с подобной проблемой - похоже Роскомнадзор, мобильный оператор (или черт его знает кто еще) блокирует IP адреса гитхаба (или внедряет свои скрипты). В итоге package_esp8266com_index.json приходит битый, Ардуино игнорирует его и не отображает esp8266 в списке поддерживаемых платформ.

 

ничего там не внедришь - соединение защищено

 

Для ESP8266 Json лежит на поддомене arduino.esp8266.com для которого нет сертификата. Можно устанавливать по https пакет с гитхаба, но там пакеты формируются на конкретный релиз и обновления приходить не будут. Ну и MITM никто не отменял.

 

Сегодня только добрался до компа. Да, всё заработало, спасибо.