Na atualização de hoje as configurações das extensões passaram a funcionar no Ubuntu 20.04, confira nessa matéria.
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.
Atualização
para que as configurações das extensões voltem a funcionar, vocẽ deve atualizar o seu sistema.
Atualize a lista de pacotes.
Atualize o sistema.
Os pacotes gnome-tweak-tool e gnome-shell-extension-prefs
Um APP com varias configurações para o Gnome Shell, dentre elas temos as configurações das extensões.
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.
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.
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.
Comentários
Postar um comentário
olá, seja bem vindo ao Linux Dicas e suporte !!