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
File 如何重命名此文件_File_Unix_Rename - Fatal编程技术网

File 如何重命名此文件

File 如何重命名此文件,file,unix,rename,File,Unix,Rename,我有一系列文件1.dat,2.dat,…,41.dat,qnd我想用科学格式重命名所有这些文件,比如0001.dat,0002.dat,等等,所有这些都是在unix上使用脚本命令 谢谢你的回复 我最好的这应该适合你: for file in [0-9]*.txt; do mv "$file" $(printf %04d.%s ${file%.*} ${file##*.}) done 测试: $ touch 1.txt 2.txt 3.txt $ ls 1.txt 2.txt

我有一系列文件1.dat,2.dat,…,41.dat,qnd我想用科学格式重命名所有这些文件,比如0001.dat,0002.dat,等等,所有这些都是在unix上使用脚本命令

谢谢你的回复


我最好的

这应该适合你:

for file in [0-9]*.txt; do     
  mv "$file" $(printf %04d.%s ${file%.*} ${file##*.})
done
测试:

$ touch 1.txt 2.txt 3.txt
$ ls
1.txt  2.txt  3.txt
$ for file in [0-9]*.txt; do     
mv "$file" $(printf %04d.%s ${file%.*} ${file##*.})
done
$ ls
0001.txt  0002.txt  0003.txt