apt-get update с прокси-сервером

Я решил проблему немного по-другому. Я удалил Compiz, выполнив следующие две строки в терминале.

sudo apt-get remove compiz-plugins
sudo apt-get remove compizconfig-settings-manager

Он не зависает весь день. Внизу у меня больше нет моих шатких окон.