文件名是有[基本名]与[扩展名]两部分构成 1.借助[%]操作符从文件名中提取基本名部分 Linux:/qinys # file_name='get_name.tar.gz'Linux:/qinys # name=${file_name%.*}Linux:/qinys # echo "The File name is :"$nameThe File name is :get_name.tar 从输出结果我们可以看出,已经成功从文件名get_name.tar.gz中提取基本名:get_n…
文件夹里有多个RM格式的视频文件,现需要把它们的文件名都提取出来,并去掉文件的扩展名,以便放到需要的网页里. 源代码: # --- picknames.py --- import os filenames=os.listdir(os.getcwd()) for name in filenames: filenames[filenames.index(name)]=name[:-3] out=open('names.txt','w') for name in filenames: out.writ…
有些脚本要根据文件名进行各种处理,有时候需要保留文件名抛弃文件后缀,也有时候需要文件后缀不要文件名,这类提取文件部分的操作使用shell的内建功能就能实现.需要用到的几个操作符有:%.%%.#.##. 从右向左匹配 :% 和 %% 操作符的示例 #!/bin/bash #提取文件名,删除后缀. file_name="text.gif" name=${file_name%.*} echo file name is: $name 输出结果: file name is: test # ${V…