Je souhaite disposer de listes de lecture de médias mixtes (GIF, MP4, etc.) pour une vitrine artistique de différentes animations de plusieurs collaborateurs. VLC est clairement le premier choix car il prend en charge les listes de lecture commandées et nous aimerions pouvoir commander ces animations.

Malheureusement, par défaut, VLC ne lit pas le format GIF. Cependant, il a les capacités suivantes:

https://trac.videolan.org/vlc/ticket/6697#comment:5

En tant qu'utilisateur final de VLC, y a-t-il un moyen que je puisse

"Mettez en commentaire l’entrée GIF89a dans le tableau des formats dans   modules / demux / image.c "

Ou devrai-je modifier le code source et compiler une libvlc modifiée? Ce serait très unideal.

Soit dit en passant, si quelqu'un connaissait un autre lecteur multimédia capable de gérer les fichiers gif et mp4 dans la même liste de lecture de manière ordonnée par l'utilisateur, ce serait également très bien. Ma solution de remplacement actuelle est l'application Windows photos avec le renommage d'éléments dans un dossier pour qu'ils soient lus dans un certain ordre, mais cela nécessite la présence d'une personne pour passer à l'élément suivant.

mpv

mpv supporte les GIF animés et les playlists:

mpv --playlist=<filename>

Ou dirigez-le vers un répertoire:

mpv /path/to/files

Voir man mpv, mpv --helpet en ligne Documentation pour plus d'informations sur les playlists.

VLC

Vous pouvez faire en sorte que VLC joue un GIF animé:

vlc --demux=avformat input.gif

Ou comme playlist:

vlc --demux=avformat,any <playlist file or a directory>