Я не знаю, пытались ли вы это уже, но как насчет:
export http_proxy=proxy.mycompany.com:80
После этого вы можете проверить:
echo $http_proxy
Наконец, проблема решена здесь! Как @MichaelK сказал:
[...] Скорее всего, драйвер переключился на другой, и вы потеряли поддержку opengl [...] Хорошо обновите информацию о вашем графическом оборудовании и драйвере.Так что, как я нашел, чтобы перезагрузить вещи, нужно было просто очистить и установить xserver-xorg, после чего все вернулось к нормальному:
$ sudo apt-get purge xserver-xorg
$ sudo apt-get install xserver-xorg xserver-xorg-video-all
$ sudo reboot
Voila! Надеюсь, это поможет.
ps: Единственное плохое в том, что каждый раз, когда я подключаю дополнительный монитор на свой компьютер (особенно, когда показываю Ubuntu кому-то), я должен тайно скрестить пальцы. Это поведение переключения драйверов от Ubuntu не является хорошим человеком ¬¬
sudo apt-get install libgl1-mesa-swrast
Это решит все ваши проблемы.
Затем запустите sudo apt-get update и проверьте с помощью glxinfo и glxgears.