En Webupd8 nos avisan que ya se encuentra disponible Cinnamon (el fork de Gnome Shell hecho por Linux Mint) para ser instalado de forma sencilla via PPA.
Además, en el PPA se encuentra una herramienta gráfica para configurar Cinnamon, con lo que podemos habilitar/deshabilitar la opción de esconder el panel automáticamente, opciones para el reloj del panel, habilitar/deshabilitar la vista de iconos con el HotCorner, y habilitar/deshabilitar temas y extensiones. Además, Andrew nos comenta que si usamos la versión alojada en Git, podemos cambiar el panel inferior para la parte superior.
Para instalar Cinnamon en Ubuntu 11.10 ponemos en un terminal:
sudo apt-get update
sudo apt-get install cinnamon cinnamon-session cinnamon-settings
[/code]
