Então ontem eu instalei o dash to dock (sem realmente prestar atenção no que é e como eu o instalei) mas eu me lembro muito bem que fiz isso clonando o código fonte do GitHub, depois reiniciei, então o problema surgiu.
Eu pulei para o shell de raiz no modo de recuperação e tentei tudo o que tinha em mente ( dconf reset e gnome-shell-extension -d ), mas parece não haver uma pasta chamada "gnome-shell" ou "gnome" em /usr/local/share e ~/.local/share .
Como desinstalo essa extensão?
Ok, obrigado a Videonauth por editar minha pergunta.
Na verdade, não tenho certeza se o dash-to-dock é o que causou o problema (instalamos outras extensões ao mesmo tempo), então o culpado ainda é cético. Mesmo usando a unidade não vai funcionar. Então, decidi purgar o git e a unidade e reinstalar a unidade. O problema resolvido depois de sair.
Apenas no caso de alguém ter o mesmo problema.