Python：将文件截断为100行或更少

我对Python非常陌生——只是想知道是否有库函数或简单的方法可以将文件截断到前100行或更少

with open("my.file", "r+") as f:
    [f.readline() for x in range(100)]
    f.truncate()

编辑通过使用xrange迭代器而不是存储整个列表，可以提高5%的速度：

with open("my.file", "r+") as f:
    for x in xrange(100):
        f.readline()
    f.truncate()

---

在这里使用其中一种解决方案：只需抓住前一百个，即

import itertools
lines = itertools.islice(iter, 100)