(19-01-2023, 11:26)Shordi escribió: Borra el punto y vuelve a ponerlo, debería salir la lista otra vez.

Pero es que esto no es normal. Es como si algo lo frenase.
Voy a ver que hace en este equipo con la Mint 19.1.
 

(19-01-2023, 11:26)Shordi escribió: Tincho contó cómo poner animaciones de estas, pero lo olvidé y ahora no lo encuentro. ¿Me podrías refrescar la memoria?

Grabar vídeo GIF en Ubuntu, Linux Mint y derivados

A ver, pude instalarlo desde el gestor de software. Pero que barbaridad lo que iba a instalar, cerca de entre 1G y 2G para una chorrada.
Así que lo hice instalando desde el repositorio.

Saludos