I set up thumbnails for GIF images on an earlier version of Ubuntu by following the instructions in this answer. Since my upgrade to 17.10 I've noticed GIF thumbnails are no longer generated.
I've walked through those steps again, and ensured that:
/usr/share/thumbnailers/gif.thumbnailerexists and has the correct contents.- Imagemagick is installed.
- I've cleared the cache with
rm -r ~/.cache/thumbnails - Running
convert mygif.gif[0] -resize 100x100 thumbnail.pngmanually works.
What am I forgetting? How do I get thumbnails for GIF images again?