Scaricare l'estensione, una volta scompattata, copiare la cartella cinnadock@in-progress.org, in ~.local/share/cinnamon/extensions, copiare il file org.cinnamon.extensions.cinnadock.gschema.xml:
$ sudo cp org.cinnamon.extensions.cinnadock.gschema.xml /usr/share/glib-2.0/schemas/
$ sudo glib-compile-schemas /usr/share/glib-2.0/schemas/
per attivare la Dock andare in cinnamon-setting-extensions, per modificare i parametri di dove posizionare la dock, e per aggiungere applicazioni, andare in dconf-editor-org-cinnamon-extensions-cinnadock.
esempio: ['gnome-terminal.desktop', 'nautilus.desktop', 'iceweasel.desktop', 'vlc.desktop', 'gedit.desktop', 'synaptic.desktop', 'gnome-screenshot.desktop', 'cinnamon-settings.desktop', 'liferea.desktop']
enjoy 😉
