把屏幕录像制作成小巧的gif动画文件。适合制作软件学习教程，实时交流学习经验。