Bonsoir à tous,

La version actuelle de cinnamon située dans les dépôts d'ArchLinux est buguée (perte du clic droit).

Solution : installer cinnamon-git en lieu et place de cinnamon.

Les bugs des paquets binaires d'ArchLinux sont souvent corrigés en compilant depuis AUR/GIT/SVN, etc. La version la plus récente des sources est logiquement celle qui est sencée offrir le binaire le plus stable, mais rétrograder est parfois nécessaire. Avoir plusieurs choix de versions donne plus de chances d'en avoir au moins une qui fonctionne bien.

Connais pas SVN, je vais regarder. D'un autre côté, comme à présent je récupère les paquets pacman et yaourt (via /etc/yaourtrc) d'une installation sur l'autre, je vais en faire des copies de sauvegarde. Ce n'est pas très gros.

Cinnamon n'arrête pas de bouger, les développeurs sont visiblement à fond dessus. Les versions que je récupère datent de 1 à 3 jours, pas plus, en général.