У меня очень большой текстовый файл. В этом файле, используя python, я хочу изменить строку 3333 с AABB
на AA_BB
. Поскольку я точно знаю, какую строку я хочу изменить, бессмысленно открывать весь файл с file.readlines()
, как предложено здесь , здесь и здесь .
Есть ли эффективный способ сделать это? Что-то вроде sed -i -e '3333s/AABB/AA_BB/'
?