Configurações das extensões do Gnome no Ubuntu 20.04

Na atualização de hoje as configurações das extensões passaram a funcionar no Ubuntu 20.04, confira nessa matéria.

Gnome shell extensions

As extensões do Gnome Shell são um conjunto de scripts criados por usuários para a implementação de recursos e melhorias ao shell 3 do Gnome.

Você pode obter uma gama grande desses scripts no link abaixo.



Gnoma Shell Extensions


Mais detalhes sobre as extensões nas nossas matérias abaixo.

Erro no site do gnome shell extensions , para Debian, Ubuntu e derivados

Ao entrar na pagina do Gnome Shell Extensions você recebe a mensagem "Apesar da extensão de integração do GNOME Shell estar em execução, o conector nativo de máquina não foi detectado. Veja a documentação para instruções sobre instalação do conector."

Extensões do Gnome Shell no seu GNU/Linux

Muitos problemas no Gnome são ocasionados pelas extensões que os usuários adicionam ao sistema, leia essa matéria e descubra como usar as extensões de forma mais segura e preventiva.




Atualização


para que as configurações das extensões voltem a funcionar, vocẽ deve atualizar o seu sistema.

Atualize a lista de pacotes.

sudo apt update

Atualize o sistema.

sudo apt full-upgrade

Os pacotes gnome-tweak-tool e gnome-shell-extension-prefs

gnome-tweak-tool

Um APP  com varias configurações para o Gnome Shell, dentre elas temos as configurações das extensões.

gnome-shell-extension-prefs

Um APP do Gnome para configurar as extensões.

Apartir dessa ultima atualização as configurações das extensões voltaram a funcionar, essas configurações são fundamentais para o uso das extensões.

Ubuntu 20.04

Atualmente essa versão do sistema operacional Ubuntu está em faze de desenvolvimento beta, com data de lançamento final para 23 de Abril de 2020.

Liberado o download do Ubuntu 20.04 LTS Beta

Por ter entrado na fase beta o Ubuntu 20.04 é liberado oficialmente para os beta testers, confira.