Ah, encontrei uma extensão que faz exatamente isso: link
Eu uso o Docky no Gnome-Shell,
Por isso não preciso do dock gnome-shell. Existe uma maneira de desativar (ou pelo menos esconder) o dock do gnome-shell?
Eu sei que eu poderia definir a largura em qualquer arquivo CSS do tema que eu use para 0px, mas isso requer que eu edite todos os temas que eu uso .. cada vez que ele é atualizado (todos os meus temas vêm de um PPA).
Talvez haja uma extensão para isso?