Extensión para añadir un Dock a Cinnamon
Un dock puede ser realmente útil para tener al alcance de un clic y de forma rápida las aplicaciones que usamos normalmente.
Ya vimos como ponerle un dock a Gnome-Shell y como usar el panel de KDE para lograr el mismo objetivo, así que ahora le toca el turno a Cinnamon.
1- Bajamos esta extensión la cual debemos descomprimir.
2- Copiamos la carpeta cinnadock@in-progress.org en ~/.local/share/cinnamon/extensions/.
3- Como root copiamos el fichero gschema.xml a /usr/share/glib-2.0/schemas/
4- Abrimos un terminal y como root ponemos:
# glib-compile-schemas /usr/share/glib-2.0/schemas/
5- Cerramos la sesión y volvemos a entrar.
6- Luego ejecutamos el Gestor de Preferencias de Cinnamon, vamos a Extensiones y activamos el Dock.
Para añadir aplicaciones, simplemente las abrimos y cuando aparezca su icono en el Dock, hacemos clic derecho » Pin to Dock. Ahora, por defecto el Dock viene anclado a la derecha, si queremos cambiar esto ejecutamos dconf-editor con [Alt]+[F2] y vamos a org » cinnamon » extensions » cinnadock » position y cambiamos el valor por right o left.
Supongo que también se pueda usar bottom o algo así, pues en las capturas de pantalla de la extensión el dock está en la parte inferior, pero no probé. Si queremos cambiar el orden de los iconos, modificamos el valor: cinnadock-apps y si queremos ponerlo más grande o más pequeño, modificamos el valor: size.
¡¡Listo!! Aunque aún está un poco verde es completamente funcional. 
COMENTARIOS PARA EL AUTOR
elav: Melómano, informático, amante de GNU/Linux, el Software Libre y la Tecnología en general. Blogger y Diseñador por hobby. Usuario de GNU/Linux #468707 | Debian Testing | http://elav.desdelinux.net
¡Qué tal Elav! Me he dado cuenta que has estado publicando artículos sobre algunas extensiones de Gnome-shell (sin Cinnamon), y también de algunas opciones y extensiones con Cinnamon.
Tú, como usuario de ambas opciones (G-shell+extensiones y G-shell+Cinnamon) ¿Qué ventajas encuentras en CInnamon? (y antes de referirte a gnome2, acuerdate que gnome2, como tal, no es un panel con un menú global, acceso a ventanas abiertas y tray, sino dos páneles con funciones separadas de menues clasificados y tray por un lado; y acceso a ventanas abiertas por otro).
Saludos.
Muy buena pregunta. Pues ambos tienen su encanto, ahora, si tuviese que decir en una sola palabra lo que me gusta de cada uno, sería lo siguiente:
Gnome-Shell: Notificaciones.
Cinnamon: Todo.
El problema está en que no estoy trabajando con un tablet, sino con una PC y desde mi punto de vista, me parece que Cinnamon es más productivo, además de que me sigue transmitiendo la sensación de que estoy trabajando en algo que ya conozco. Cinnamon me da opciones extras que Gnome-Shell no, como por ejemplo desactivar el Overview o el Hot Corner, pero claro, Gnome Shell no puede hacerlo porque entonces los escritorios se van a la mierda y las aplicaciones tendríamos que ejecutarlas con Alt+F2. Díganme anticuado, pero prefiero el menú de aplicaciones de toda la vida. Cinnamon también me brinda la opción de tener 2 paneles, y ponerlo justo como Gnome2. Pero hay que tener en cuenta de que es un Shell muy joven. Aún puede presentar errores..
Hola! kisiera preguntar como se hace exactamente como se hace para cambiar de posccion en la pantalla la barra del dock. Hay manera??
En el post explico como hacerlo.. Saludos