Extensões do Gnome desativadas após atualizar para 20.10
772
estou investigando por que as extensões do Gnome parariam de ser exibidas após a atualização de 20.04 para 20.10. Após a reinicialização, eles agora estão se desligando automaticamente e, se eu tentar ativá-los, eles não serão exibidos no cabeçalho superior.
As extensões podem não funcionar mais em uma versão mais recente do Gnome Shell, que está em 3.38 no Ubuntu 20.10. Verifique se as extensões instaladas estão atualizadas. O "Clipboard Indicator" foi atualizado para o Gnome Shell 3.38, para que funcione se você tiver a versão correta instalada. A última versão suportada do Netspeed é a 3.34, então existe a possibilidade de que essa extensão não funcione mais na 3.38. O mesmo vale para "Seletor de dispositivo de entrada e saída de som", que neste momento está disponível para o Gnome Shell até 3.36.
no terminal, você pode navegar pelas configurações da extensão.
gsettings list-schemas
para ver as opções disponíveis e
gsettings list-recursive
para visualizar todas as subconfigurações de esquemas e seu estado atual. por exemplo, para desabilitar a pasta inicial do usuário redundante na área de trabalho no Ubuntu 20.10
gsettings set org.gnome.shell.extensions.ding show-home false
espero que isso ajude e fazer alterações via terminal "grudem" para você. boa sorte.
As extensões podem não funcionar mais em uma versão mais recente do Gnome Shell, que está em 3.38 no Ubuntu 20.10. Verifique se as extensões instaladas estão atualizadas. O "Clipboard Indicator" foi atualizado para o Gnome Shell 3.38, para que funcione se você tiver a versão correta instalada. A última versão suportada do Netspeed é a 3.34, então existe a possibilidade de que essa extensão não funcione mais na 3.38. O mesmo vale para "Seletor de dispositivo de entrada e saída de som", que neste momento está disponível para o Gnome Shell até 3.36.
no terminal, você pode navegar pelas configurações da extensão.
para ver as opções disponíveis e
para visualizar todas as subconfigurações de esquemas e seu estado atual. por exemplo, para desabilitar a pasta inicial do usuário redundante na área de trabalho no Ubuntu 20.10
espero que isso ajude e fazer alterações via terminal "grudem" para você. boa sorte.