Quick question:
I've seen a lot of programming gifs (screen-recorded gifs of terminals).
Which tool(s) are used to create those?
undefined
Sanyam Khurana
@curiouslearner@mastodon.social
Piero Bosio Social Web Site Personale 
Social Forum federato con il resto del mondo. Non contano le istanze, contano le persone
undefined