日常中碰到需要批量修改文件名怎么办？嗯，来终端先

　　案例：将Users/case目录下所有html文件修改为php文件

步骤：

1.进入目标文件夹

　　$ cd Users/case

2.执行以下命令

　　$ for i in *.html

　　> do mv "$i" "${i%.html}.php"

　　> done