手机可以使用文件管理将文件压缩为zip格式的压缩文件。
打开文件管理，进入“手机”类别内，找到需要压缩的文件---长按选中---右下角更多---压缩。压缩完成后，压缩文件将于原文件处于同一根目录下。
在相册里找到视频点击编辑，然后进行压缩就好了。
Redmi（红米）是小米集团旗下，面向年轻人的科技品牌。旨在为全球年轻人打造高品质，且拥有旗舰体验、超预期的手机与智能硬件产品。坚持“不顾一切的热爱”的品牌理念，与全球年轻人站在一起。Redmi的前身，是小米公司在2013年7月31日推出的全新产品线“红米”。2019年1月3日上午10点，小米公司正式宣布，将红米系列升级为小米手机业务的一个独立子品牌Redmi。2019年1月10日，小米公司召开Redmi品牌独立的发布会。
