有一个标准的文件分割命令——split。
例如,如果我想将一个单词文件拆分为 10000 行的几个块,我可以使用:
split -dl 10000 words wrd
它会生成几个格式为 wrd.01、wrd.02 等的文件。
但我想为这些文件指定一个特定的扩展名——例如,我想获得 wtd.01.txt、wrd.02.txt 文件。
有没有办法做到这一点?
shell filenames split
filenames ×1
shell ×1
split ×1