Есть в gnome shell неприятный баг, когда застывает картинка, но сам он продолжает работать. Интересно, что верхняя панель работает, как положено. Если нажать альт+таб или переключиться на второй рабочий стол (ctrl+alt+стралочки), то появится анимация переключения, но она же и застынет. Лечится это нажатием Alt+f2, вводом «r» (ничего видно не будет, а если ввести, например «к», то произойдёт ошибка и «к» останется на месте. Так что смотрите за раскладкой, если нет эффекта, то всё сотрите «в слепую» и попробуйте опять), а затем энтер.
О более радикальных способах лечения и причине заболевания написано под катом.
Проблему эту я заметил ещё на раннем использование gnome shell, но не писал о неё не только, по тому, что слишком мало времени, но и потому, что в ubuntu 11.10 её нет по умолчанию. Чего нельзя сказать о linux mint 12, где включено расширение «Media Player». Именно оно и вызывает проблемы, когда вы слушаете музыку.
Проще всего отключить его. Для этого переходим на
Или же отключаем его в gnome-tweak-tool (можно установить из стандартного ppa через sudo apt-get install)
.
Если же всё повисло на столько, что не получается никак перезагрузить gnome shell, то можно перейти в консоль (ctrl+alt+f1) и выполнить:
sudo service lightdm restart
Если у вас не lightdm, другой загрузчик, то впишите его.
Если же такие зависания не бывают редкими, то можно заранее создать на рабочем столе скрипт со строками:
#!/bin/bash
gnome-shell --replace
И не забудьте сделать его исполняемым. Если вдруг «умрёт» gnome shell, то обычно есть возможность закрывать окна (через их меню. Файл-выход), а также можно будет запускать программы.
Конечно это всё не идеальные решения, но я думаю разработчики когда-нибудь допилят этот несчастный гном шелл. Например в mint у меня намертво шелл не повис ещё не разу, а в убунту это случалось иногда.
У меня такое наблюдалось при нажатии альт+таб с включенным альтернативным расширением. После отключения расширения картина не изменилась. Вообще работать с большими графическими файлами на шелле пока тяжко.