Я обновил до 19.04 с 18.10 в апреле / мае, но некоторые из моих расширений Gnome не отображались на панели задач, и поэтому я вернулся к копии Clonezilla моей установки 18.10. Теперь у меня больше времени поиграть с 19.04 и поэтому собираюсь попробовать еще раз. У меня есть один вопрос, прежде чем я сделаю решительный шаг.
Я скопировал свои Расширения Gnome с помощью:
/usr/bin/dconf dump /org/gnome/ > /media/steve/6363-6333/Gnome-Backups/gnome-backup
cp -r ~/.local/share/gnome-shell/extensions /media/steve/6363-6333/Gnome-Backups/extensions-bkup
И подумал, что если у меня возникнут проблемы, я мог бы сделать:
dconf load /org/gnome/ < /media/steve/6363-6333/Gnome-Backups/gnome-backup
cp -r /media/steve/6363-6333/Gnome-Backups/extensions-bkup ~/.local/share/gnome-shell/extensions
Будет ли это работать между версиями Ubuntu?
Некоторые расширения GNOME не будут работать в 19,04. Dash to Dock
одно популярное расширение, из-за которого некоторые люди испытывают затруднения, но существуют другие, некоторые с серьезными проблемами.
САМЫЙ БЕЗОПАСНЫЙ способ обновить до 19,04 состоит в том, чтобы временно ОТКЛЮЧИТЬ ВСЕ расширения GNOME в 18,10 в https://extensions.gnome.org/local/.
Затем обновите до 19,04, получите его выполнение и ЗАТЕМ повторно включите одно расширение GNOME за один раз в https://extensions.gnome.org/local/. Можно сразу сказать, имеет ли расширение проблему, поскольку КРАСНЫЙ значок ошибки появится рядом со своим именем. Если недавно включенное расширение не функционирует, как оно должно, это не быть совместимым. Другой способ сказать, есть ли у Вас несовместимое расширение, состоит в том, чтобы смотреть /var/log/syslog
для ошибок от gnome-shell
.
grep -i gnome-shell /var/log/syslog*