I have a file, for example, "data.txt" with "1234567890" text inside. How can my program delete "678", so that "data.txt" will consist of "1234590"?
In addition, data.txt is a really heavy file. So you can't use pure read()
or readlines()
.
I want to use only python tools, so "shell" is not an option.