J'ai configuré les vignettes pour les images GIF sur une version antérieure d'Ubuntu en suivant les instructions de cette réponse . Depuis ma mise à niveau vers 17.10, j'ai remarqué que les vignettes GIF n'étaient plus générées.
J'ai de nouveau franchi ces étapes et veillé à ce que:
/usr/share/thumbnailers/gif.thumbnailer
existe et a le contenu correct.rm -r ~/.cache/thumbnails
convert mygif.gif[0] -resize 100x100 thumbnail.png
fonctionne manuellement.Qu'est-ce que j'oublie? Comment puis-je obtenir à nouveau des vignettes pour les images GIF?
Les vignettes gif fonctionnaient à nouveau en installant le paquetage gif-thumbnailer
de le référentiel atareo/thumbnailers
:
Sudo add-apt-repository ppa:atareao/thumbnailers
Sudo apt-get update
Sudo apt install gif-thumbnailer
Ensuite, j'ai effacé le cache des vignettes (rm -r ~/.cache/thumbnails
) et tout fonctionne.
Le code source semble être dans ce mal nommé git-thumbnailer
référentiel . Je n'ai pas entièrement compris pourquoi cette solution fonctionne et les autres solutions que j'ai essayées ne le font pas. cela dépend toujours de imagemagick, mais passe différentes options et copie les images dans un répertoire temporaire avant de les utiliser. Quoi qu'il en soit, cela a fonctionné pour moi.