linux mv命令 文件重命名(修改文件名)
用 mv a b 就可以重命名了
例如
mv index.html index.jsp