I am a beginner with PYTHON and useless with regex and are struggling to replace an unknown number in a file with a new number. I have looked through the python how tos and examples for re but still can't make any progress on how to create the expression.
# myfile.txt
Some text
More text
Option "BlankTime" "15"
more text
I want to replace "15" with another number, this line only appears once in the file, but the line number it is on is unknown, and the value of 15 is also unknown and could be any number contained in the quotation marks.
Best way would be to do it with python ( re ?? ) but if that can't be done then maybe sed ??