1. StackOverflow 文档
  2. Bash 教程
  3. 支持扩张
  4. 修改文件扩展名

修改文件扩展名

Created: November-22, 2018 

$ mv filename.{jar,zip}

这扩展到了 mv filename.jar filename.zip。