Я обнаружил два способа сделать это.
Используйте вкладку alt +, пока не будет отмечено соответствующее приложение. Затем подождите немного, пока не появятся отдельные окна приложения. Когда у вас открыто одно окно приложения, щелкните значок приложения на панели быстрого запуска. Теперь вы должны увидеть все окна приложений. Для переключения на ранее выбранное приложение удерживайте клавишу Alt и нажмите shift + tabЕще одно предложение - переключение между рабочими пространствами. Просто поместите окно своего приложения на несколько рабочих областей. Вы можете переключаться между этими рабочими пространствами очень быстро, используя клавиши alt + ctrl + arrow (вверх, вниз, влево, вправо).
Вот как я решаю эту проблему.
Удалите все полученные строки в apt.conf и верните его в свое первоначальное состояние
Теперь экспортируйте http_proxy как
export http_proxy=http://username:password@host:port
export no_proxy=.xyz.org
где xyz.org - ваше локальное доменное имя
Теперь, наконец, запустите apt-get следующим образом.
sudo -E apt-get update
Параметр -E делает http_proxy переменная, доступная для apt-get. Вот и все. Прокси теперь используется для всех внешних подключений, а не для внутренней сети.