Warning: file_get_contents(/data/phpspider/zhask/data//catemap/8/file/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
Linux 从文件中剪切13*10^6行_Linux_File - Fatal编程技术网
Fatal编程技术网
  • linux/
  • Linux 从文件中剪切13*10^6行

Linux 从文件中剪切13*10^6行

linux file

Linux 从文件中剪切13*10^6行,linux,file,Linux,File,我有一个包含63*10^6行的文件。我需要从那里剪切第一行（或最后一行）13*10^6行，然后将其写入另一个文件。做这件事的最好方法是什么？做这件事的工具叫做tail，你可以给它一个-n标志，如果你在前面使用+，它会跳过那么多行。因此： tail -n +13000000 < file_in > file_out 它将打印除1300万张最后一张外的所有照片

我有一个包含63*10^6行的文件。我需要从那里剪切第一行（或最后一行）13*10^6行，然后将其写入另一个文件。做这件事的最好方法是什么？

做这件事的工具叫做
tail
，你可以给它一个
-n
标志，如果你在前面使用
+
，它会跳过那么多行。因此：

tail -n +13000000 < file_in > file_out
它将打印除1300万张最后一张外的所有照片

是I/O重定向，它意味着
头
（或
尾
）从
文件中读入
，然后写入
文件中
您尝试过什么吗？python脚本，但我不确定这是最好的解决方案？我想你指的是数百万。你有6300万张唱片，但你要从中删掉130亿张唱片。。。这将是一个了不起的壮举。

head -n -13000000 < file_in > file_out