Faire une copie d'écran en video

Pour faire des captures d'écran animées partageables sur Github, il faut transformer une vidéo en gif animé.

Sous Linux

Une solution est d'utiliser :

• vokoscreen pour faire une capture en vidéo,
• convertir la vidéo en gif sur ezgif.com