existe uma extensão no shell do gnome, pode ser que isso ajude você
Eu quero usar o gnome dock apenas como um painel de lançamento, não quero mostrar janelas abertas no momento. Isso é que deve ser apenas barra de favoritos para aplicativos favoritos. Como faço isso?