C#如何将文件按一定行数切割？

Question

比如有个10000行的文件，我想将它切割成10个子文件，每个文件1000行。请问怎么实现？

Answer 1

 string[] lines = File.ReadAllLines("1.txt");
for (int i = 0; i < 10; i++)
{
    File.WriteAllLines("1 part " + i.ToString() + ".txt", lines.Take(1000));
    lines = lines.Skip(1000).ToArray();
}