Donc globalement, et après le test du PPA
sudo add-apt-repository ppa:docky-core/ppa
sudo apt-get install docky
Je suis assez déçu, docky n'est plus qu'un dock. Relativement bien fait pour ce que j'ai testé, mais on perd toutes les fonctionnalité de gnome-do et finalement j'aurai préféré que les améliorations apportées (choix du thème, nouveaux docklets, nouvelle façon de se caché, possibilité de se comporter comme un panel, etc ...) soient intégrés comme "mod" de Gnome-do plutôt que comme pure application. Et finalement, on a plus un concurrent d'awn qu'autre chose et tjrs en Mono pour les Monomaniaques.