摘要: 1.给文件改名,并进行压缩 #!/bin/bash # -*- coding: utf-8 -*- ##给文件改名,并进行压缩 oldName="PriceAlarmServer" newName="PriceAlarmServerGnn" echo "oldName:"${oldName} ech 阅读全文
posted @ 2023-07-04 17:22 He_LiangLiang 阅读(58) 评论(0) 推荐(0) 编辑