【linux】在Ubuntu20.04下录制屏幕为视频，并制作成gif动态图片