Atualizei para 19.04 de 18.10 em abril/maio, mas algumas das minhas extensões do Gnome não apareceram na barra de tarefas e, portanto, voltei para uma cópia do Clonezilla da minha instalação 18.10. Agora tenho mais tempo para brincar com o 19.04 e pretendo tentar novamente. Eu tenho uma pergunta antes de me arriscar.
Eu fiz backup das minhas extensões do Gnome com:
/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
E pensei que se eu tivesse problemas eu poderia fazer:
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
Isso funcionaria entre as versões do Ubuntu?
Algumas extensões do GNOME não funcionarão no 19.04.
Dash to Dock
é uma extensão popular com a qual algumas pessoas têm problemas, mas existem outras, algumas com problemas sérios.A maneira MAIS SEGURA de atualizar para a versão 19.04 é DESABILITAR temporariamente TODAS as extensões do GNOME na versão 18.10 em https://extensions.gnome.org/local/ .
Em seguida, atualize para 19.04, coloque-o em execução e, em seguida, reative uma extensão do GNOME por vez em https://extensions.gnome.org/local/ . Você pode saber imediatamente se uma extensão tem um problema, pois um ícone de erro VERMELHO aparecerá ao lado de seu nome. Se a extensão recém-ativada não funcionar como deveria, ela não é compatível. Outra maneira de saber se você tem uma extensão incompatível é observar
/var/log/syslog
os erros degnome-shell
.