Dash to Dock no Gnome 3.34

Quem usa a extensão Dash To Dock para Gnome, sem dúvida percebeu que a mesma parou de funcionar na versão mais recente (3.34) do ambiente gráfico.

Esta é uma dica rápida que vai mostrar como implementar a extensão nessa nova versão, enquanto aguardamos um update automático.

Primeiro de tudo, se já não fez isso, remova a extensão pelo controle apropriado no site de extensões do Gnome.

A seguir, em uma pasta qualquer, execute no shell:

git clone https://github.com/micheleg/dash-to-dock.git
cd dash-to-dock
make
make install

Agora, reinicie a sessão do Gnome: Alt+F2 + comando r

Ou graficamente, como preferir. A seguir, no Tweak Tools, você vai encontrar a Dash To Dock pronta para ser ativada, sem qualquer problema e com as configurações de sempre.