今天遇到的一个问题,要将一批jpg文件后缀名更改为png,凭感觉能用awk指令进行修改,就进行了尝试。
想到的思路是:先列举出文件名称,再用awk对文件名称进行处理分割,最后将后缀名进行修改。
首先列举出文件名称,得到如图:
之后考虑获取名称,如“abad.jpg”,再将名称以“.”号分割,得到名称“abad”,再进行下一步处理。
因此用awk进行处理。其中指令
awk '{split($9,a,".");print a[1]}'
表示将管道前的内容的第9列用分隔符“."进行分割,得到数据 a,再将数据a的第一个元素输出,如下图:
最后用xargs进行后缀名替换。使用 xargs -i 参数,就可以用“{}”符号来替代管道前的标准输出内容,因此得到最后一步,如下图,成功!
不过,后来百度了一下,有更简单的方法[摊手][无奈]:https://blog.csdn.net/longxibendi/article/details/6387732