Всякий раз, когда я устанавливаю Ubuntu или Mint из-за прокси-сервера, я обнаруживаю, что установка зависает на этапе настройки часового пояса. Поняв, что это должно быть связано с сетью, я перезапустил установку и выбрал "Try Ubuntu" вместо "Install Ubuntu". Это загружает меня в оболочку гнома.
Оттуда я обновил параметры прокси-сервера до значений, подходящих для моей сети, и щелкнул значок "Установка Ubuntu" на рабочем столе. Установка по-прежнему останавливается на этапе "Копирование файлов", grrrr.
Используя терминал, я могу убедиться, что переменные среды правильно установлены на значения прокси, однако, когда я проверяю файл окружения в записи /proc /pid для процесса установки, эти переменные прокси не устанавливаются.
В этом и заключается проблема, установщик почти наверняка вызывается с использованием старых переменных среды и, следовательно, никогда не видит настройки прокси.
Я подозреваю, что проблема была бы решена, если бы я мог выйти и снова войти в систему, заставив gnome-shell перезагрузиться, но это не вариант, так как живая конфигурация Ubuntu не позволяет вам сделать это. У меня есть обходной путь, который я собираюсь опубликовать здесь для других, но приветствуются любые дополнительные идеи или более элегантные решения.