¿Alguna vez has necesitado hacer una grabación de tu escritorio? ¿Y publicarla en Gif, por ejemplo para subirla a GitHub?
Grabar tu escritorio GNOME
Viene de fábrica: pulsa la combinación de teclas
Ctrl+Alt+Mays+R y empezarás a grabar.
Vuelve a pulsarla para detener la grabación.
Convertir el vídeo a Gif
Podría enseñarte algún script, pero esta vez creo que lo más fácil es usar BlogGif.