Aunque el dock de Gnome Shell cumple perfectamente su función, es posible que tengamos otro tipo de preferencias por el dock a utilizar. Si tu elección es por Plank, te digo a continuación los procesos a realizar en tu entorno para desactivar el dock de Gnome Shell e instalar Plank, utilizando para y por compatibilidad los recursos de que dispone elementary OS Isis.
Enlace a la fuente original: Como cambiar el dock de Gnome Shell por Plank en ubuntu GNOME 14.04 Trusty