Warning: file_get_contents(/data/phpspider/zhask/data//catemap/4/unix/3.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Bash 如何以编程方式删除部分文件名并添加扩展名？_Bash_Unix_Command Line - Fatal编程技术网
Fatal编程技术网
  • bash/
  • Bash 如何以编程方式删除部分文件名并添加扩展名？

Bash 如何以编程方式删除部分文件名并添加扩展名？

bash unix command-line

Bash 如何以编程方式删除部分文件名并添加扩展名？,bash,unix,command-line,Bash,Unix,Command Line,我在一个文件夹中有数百个文件，名称如下： index.html?tab=This is - the file name 我想删除所有文件的“index.html”tab=“part并添加扩展名“.txt”。如何使用Unix命令行工具（我使用的是MacOSX 10.6.2）实现这一点 for i in index.html\?tab\=*; do mv "$i" "${i:15}.txt"; done for file in index.html\?* do mv "$file" "${

我在一个文件夹中有数百个文件，名称如下：

index.html?tab=This is - the file name
我想删除所有文件的“index.html”tab=“part并添加扩展名“.txt”。如何使用Unix命令行工具（我使用的是MacOSX 10.6.2）实现这一点

for i in index.html\?tab\=*; do mv "$i" "${i:15}.txt"; done

for file in index.html\?*
do
   mv "$file" "${file#*=}".txt
done