3 ms·A tool for recording terminal operations and generating GIF animations2 points by yimiqidage001 2y ago