麻烦高手,linux系统下,一个文本文件共100万行,想删除其中的第10万到15万行,其它的都不变,用命令怎么实现呢?