Cinnamon tiene su propio dock de aplicaciones: CinnaDock in progress

En la interfaz Cinnamon se puede instalar, desde Synaptic,  un dock de aplicaciones complejo como Avant-window-navigator o Cairo-dock, que al instalarlo se instalan un buen número de paquetes,  o instalar un dock sencillo, CinnaDock , que es solo una extensión para Cinnamon. Para instalar esta extensión, aconsejo consultar la forma en que se instalan applets y extensiones en Cinnamón, que está explicado en: Añadir applets y extensiones a Cinnamon

CinnaDock in progress se puede instalar 1) a partir de la página  http://cinnamon-spices.linuxmint.com/extensions  , siguiendo las indicaciones que se dan en la página desde la que se baja la extensión, o 2) a partir de un ppa: añadiendo el repositorio ppa Cinnamon Extras para instalar mas paquetes de extensiones y applets:
sudo add-apt-repository ppa:bimsebasse/cinnamonextras
sudo apt-get update

---------------

Editado (4-dic-2012): no se porque motivo el ppa bimsebasse ha dejado de estar activo; ahora hay que bajar el cinnadock.deb desde: http://ppa.launchpad.net/bimsebasse/testing/ubuntu/pool/main/c/
-------------------
Una vez que el repositorio PPA Cinnamon Extras  se ha añadido, debemos usar Synaptic y la búsqueda de la palabra cinnamon-applet- , o cinnamon-extension- ( en este caso buscamos cinnamon-extensión-cinnadock  )para que podamos ver todos los applets y extensiones disponibles para su posterior instalación de la forma habitual para cualquier paquete .deb

Por defecto Cinnadock aparece como una pequeña zona rectangular de forma fija sobre el lado derecho de la pantalla, y si no se tiene ningún programa abierto o minimizado en el panel no aparece ningún icono sobre el dock; a medida que se van abriendo aplicaciones van apareciendo iconos correspondientes a dichas aplicaciones, desde los que se pueden a volver a poner, con un click del botón izquierdo del ratón, en un primer plano una aplicación que se haya minimizado al panel. Conforme se van cerrando las aplicaciones, van desapareciendo los iconos correspondientes en el dock.

CinnaDock no tiene un método para poder ser configurado, pero se puede editar sus preferencias a través del programa Dconf-editor . Para usar este programa hay que instalar el paquete dconf-tools  y ejecutar el comando dconf-editor : se ha de editar las preferencias de Cinnadock en: dconf-editor ->org ->cinnamon ->extensions ->cinnadock

En mi caso lo he configurado: -- para que se auto-oculte cuando el cursor del ratón deja de estar sobre él, en vez de permanecer fijo. -- para que esté sobre el borde izquierdo de la pantalla, en vez de en la derecha, -- he cambiado el tamaño de los iconos a 32 pixels (en función del tamaño de los iconos, y de en que lado de la pantalla este situado el dock,  cabrán mas o menos de ellos en el dock) , -- y en cinnadock-apps he añadido ['cardapio.desktop'] para que el icono del menú de aplicaciones Cardapio quede como un icono fijo en el CinnaDock ( vease el icono superior de la imagen siguiente ); los otros dos iconos que aparecen se corresponden a las dos aplicaciones que están abiertas y o minimizadas en el panel  ( Firefox y Nautilus) y que se pueden llevar al primer plano haciendo click con el botón izquierdo del ratón sobre el icono correspondiente en el dock.

Por defecto Cinnadock, si no se tiene ningún programa abierto o minimizado en el panel no muestra ningún icono sobre el dock, pero se pueden añadir  iconos que permanezcan fijos sobre el dock y que abran algún programa:
- Con Dconf-editor: con dconf-editor ->org ->cinnamon ->extensions ->cinnadock : como solo se puede añadir un icono que abra un programa, he elegido añadir como programa el menú de aplicaciones Cardapio, editando en cinnadock-apps : ['cardapio.desktop']
- Teniendo una aplicación abierta, y que por lo tanto aparece su icono en el dock, seleccionamos con  el cursor y con el botón  derecho del ratón optamos por la opción pin to dock ( si queremos volver atrás para quitar el icono fijo optaremos por la opción remove from dock ). Con este método se pueden añadir varios iconos correspondientes a varias aplicaciones, para tenerlas ancladas en el dock, independientemente de si la aplicación está abierta o no.

——————————————————–

Añadido (20-feb-2013 ) :
Si al actualizar la versión de Cinnamon, por ejemplo de 1.4 a 1.6.7, deja de funcionar el dock Cinnadock, la solución es:
- Abro la terminal y ejecuto el siguiente comando, para editar el archivo metadata.json correspondiente al Cinnadock:
sudo gedit /usr/share/cinnamon/extensions/cinnadock@in-progress.org/metadata.json , y en la linea
 "cinnamon-version": [ "1.3.0", "1.3.1", "1.3.2", "1.4.0", "1.4.1", "1.4.2" ],
añado mi versión de Cinnamon, de forma que ahora es:
"cinnamon-version": [ "1.3.0", "1.3.1", "1.3.2", "1.4.0", "1.4.1", "1.4.2", "1.6.7" ],
- Guardo los cambios en el archivo
- Reinicio Cinnamon (alt+f2 y tecla r )
- Activo la extensión Cinnadock desde Configuración de Cinnamon->Extensiones

-----------------------------------------------------------
Añadido:
También hay un nuevo dock de aplicaciones: Cinnadock plus , ( muy parecido a Cinnadock in progress ) pero que se instala como una extensión mas y que se puede configurar desde la misma pantalla de Configuración del Sistema->Extensiones. Por lo tanto su instalación y configuración es mas sencilla, y además al señalar con el cursor uno de los iconos del dock aparece una miniventana que da información sobre el programa que se corresponde con el programa seleccionada. Por ello a desbancado a Cinnadock in progress como mi dock de aplicaciones propio de Cinnamon.
Cabe de configurar Cinnadock in progress y Cinnadock plus de forma que uno de ellos aparezca a la derecha , y el otro a la izquierda, de forma que tengamos siempre muy a mano los iconos de nuestras aplicaciones favoritas.