Что (и где я найду) лучший простой текстовый редактор для моего телефона Ubuntu

Если вы работаете на графическом уровне выполнения, тогда с помощью сетевого администратора Ubuntu по умолчанию необходимо установить настройки прокси для всего. В Uni я использовал прокси-сервер в сетевом менеджере Gnome, и параметры прокси-сервера затем были установлены для сеансов терминала (в качестве примера). Возможно, даже сейчас можно установить «Locations» (но я не использую Ubuntu, поэтому могу сказать наверняка).

Debian также имеет возможность указывать разные местоположения (и, следовательно, настройки), используя скриптов под /etc/networking/. См. Здесь, хотя в документах указано, что старые сценарии ifup и ifplugd устарели. Я предполагаю, что то же самое применимо к Ubuntu.

Я верю в командной строке, достаточно установить переменные среды http_proxy / https_proxy. wget будет читать информацию прокси оттуда, вам не нужно устанавливать его в файле wgetrc.