[翻译中 By bazz2] How to convert video to animated gif image on Linux