Аналогично, помогло.
Проблема появилась несколько дней назад, полагаю с каким-то обновлением.
Ноут hp 530, та же проблема, черный экран на этапе загрузки системы. Иногда загружается, иногда нет, чаще нет. Закономерности так же не вижу. Из общего по железу вижу такую же видеокарту.
В общем, странно, но все решилось переустановкой ядра через pacman.
pacman -S linux
Вчера обновил ядро, сегодня при загрузке получил такое сообщение. Сейчас загружаюсь со старым ядром.
Полагаю в ядре отключена поддержка ext4? Как ее включить?
Обновился, пропал один мой хоткей.
в Режими activities косяки:

Внизу при этом появляются два гугла и две википедии.
Собственно, из темы думаю все понятно.
Не думаю, что это важно, что pulseaudio работает через сеть, но все же.
Разумеется я гуглил, но решения не нашел.
Подскажите, пожалуйста.
Где взять хоть какую-нибудь документацию по расширениям для gnome-shell?
У них на сайте вроде все перерыл, ничего внятного не нашел.
Нет, можно, конечно, самому изучить все что лежит в /usr/share/gnome-shell/js и плюс на примере уже написанных расширений писать свои. Но это как-то слишком сурово, впрочем, я именно этим сейчас и занимаюсь, но довольно туго идет.
Неужели разработчики не позаботились об этом? Ведь одно дело сделать механизм расширений, другое дело показать другим людям, как их нужно писать, иначе какой в этом смысл?
Да, но все равно, это не логично.
А какой в этом смысл? Видео на 1 раб столе, панелька на 2 раб столе.
Забыл упомянуть, стоит gnome3.