Warning: file_get_contents(/data/phpspider/zhask/data//catemap/5/bash/18.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 将一个文件划分为单独的文件,每个文件有10000行_Bash - Fatal编程技术网

Bash 将一个文件划分为单独的文件,每个文件有10000行

Bash 将一个文件划分为单独的文件,每个文件有10000行,bash,Bash,我有一个文件对于我正在使用的软件来说太大了,所以我想把它切成更小的部分。它是一个纯文本文件。我怎样才能把它切成不同的文件。例如: output1.txt包含原始文件的前10000行 output2.txt包含原始文件的下10000行 等等 最后一个文件可能少于10000行 如果我想加入它们,我只需要使用cat output*.txt>joined.tex 如何以这种方式拆分文件?使用 例如 split -l 10000 originalfile.txt

我有一个文件对于我正在使用的软件来说太大了,所以我想把它切成更小的部分。它是一个纯文本文件。我怎样才能把它切成不同的文件。例如:

  • output1.txt
    包含原始文件的前10000行
  • output2.txt
    包含原始文件的下10000行
  • 等等

  • 最后一个文件可能少于10000行

  • 如果我想加入它们,我只需要使用
    cat output*.txt>joined.tex
如何以这种方式拆分文件?

使用

例如

split -l 10000 originalfile.txt