Antecedentes
Embora o OP tenha declarado que o seguinte não funciona em sua máquina, ele funcionou no meu laptop ...
"Acho que isso é diferente de As configurações do ubuntu-dock não podem ser acessadas no gnome-control-center por padrão porque alterar o tipo de sessão do GNOME não corrige o problema Se eu for para o GNOME * não recebo nenhuma seção de configuração do Dock, e se eu Tenho para o Ubuntu * Eu recebo a seção de configurações do Dock em branco descrita acima "~~ OP
Como Pomsky sugeriu nos comentários de sua resposta, vinculado acima, forneceu uma solução adicional, mas diferente, que funcionou para mim depois que sua resposta não funcionou. Assim, para referência futura dos que vêm do Google ...
"A configuração do dock do Ubuntu é acessível somente a partir das sessões do GNOME customizadas pelo Ubuntu, não das sessões padrão do GNOME.
Ao inicializar seu sistema e acessar a tela de login do GDM, você deve encontrar uma engrenagem (⚙️) ao lado do botão de login. Se você clicar na engrenagem você deve encontrar uma opção do Ubuntu (e / ou Ubuntu no Xorg).
Escolha o Ubuntu (ou o Ubuntu no Xorg) em vez do GNOME (ou o GNOME no Xorg). "~~ Pomsky
Situação
Eu tinha o Ubuntu Dock instalado, mas a opção do Dock não estava aparecendo . Teve isso antes, mas não sabe quando desapareceu.
Verifiquei se ele foi instalado com o comando apt-cache
abaixo. Eu não tenho um valor Installed: (none)
, mas um valor numérico real.
apt-cache policy gnome-shell-extension-ubuntu-dock
Corrigir
- Reinicie o Linux
- Altere o tipo de sessão com o qual você faz login por meio da roda dentada (⚙️).
- Escolha
Ubuntu
ou Ubuntu on Xorg
.
-
Não escolha outra opção como
GNOME
Na foto acima, eu tinha 3 itens para escolher. Então, escolhi Ubuntu
e fiz o login.
Se você não tiver 3 opções, essa solução provavelmente não funcionará para você. Deixe-me saber nos comentários em contrário.