Использую Ubuntu 18.04 Gnome. Недавно мне пришло уведомление, что есть обновления для двух расширений Gnome: Dash to Dock и Hide Top Bar. К слову, тогда они работали стабильно. Я их обновил, и все было нормально, до того, как я перезагрузил свой ноут. Дальше все обстояло очень интересно: в первый запуск слетел только Dash to Dock, показывая надпись "Error" напротив расширения в Gnome Tweak Tools. Я его переустановил через extensions.gnome.org, и все заработало. При следующем перезапуске слетел Hide Top Bar. Точно так же переустановил его. Дальше каждый раз слетал либо Dash, либо Hide, причем по очереди. Я думал, что они как-то конфликтуют между собой, поэтому отключил Dash to Dock и заменил его приложением Plank, однако Hide Top Bar так и продолжает слетать каждую загрузку. В чем может быть дело? Пришло обновление для Caffeine, и я боюсь его устанавливать.