Mudar dock do Ubuntu com o gsettings
quarta-feira, 1 de janeiro de 2020
Tuxmind
Está dica foi testada no Ubuntu 19.10.
Para mudar posição da dock para ficar em baixo (como na imagem).
Abra um terminal ctrl + alt + t
gsettings set org.gnome.shell.extensions.dash-to-dock dock-position "BOTTOM"
Não estender a dock:
gsettings set org.gnome.shell.extensions.dash-to-dock extend-height "false"
Esconde a dock automaticamente:
gsettings set org.gnome.shell.extensions.dash-to-dock autohide "true"
Colocar o menu das apps em primeiro lugar na dock .
gsettings set org.gnome.shell.extensions.dash-to-dock show-apps-at-top 'true'
Como podem ver o gsettings permite personalizar o gnome sem usar ferramentas do tipo "GNOME Tweak Tool"
Opções disponíveis para o gsettings são:
get
set
range
reset
Alguns exemplos:
Usando o set para editar:
gsettings set org.gnome.shell.extensions.dash-to-dock click-action 'minimize'
Retoma configuração atual com o get:
gsettings get org.gnome.shell.extensions.dash-to-dock click-action
Retoma possíveis valores com o range:
gsettings range org.gnome.shell.extensions.dash-to-dock click-action
Aplica um reset para (default)
gsettings reset org.gnome.shell.extensions.dash-to-dock click-action
Fácil e intuitivo, até possível usar a tecla TAB para autocompletar.
Basta escrever org.gnome e depois TAB e aparece todas as "chaves" disponíveis para editar.
Com este comando o gestor de janelas abre novas janelas no centro.
gsettings set org.gnome.mutter center-new-windows 'true'
E não é preciso memorizar todos os valores possíveis de uma chave, basta usar o range, e se você alterar alguma coisa e não se lembrar do valor "default" e só usar o reset.
Nenhum comentário:
Postar um comentário