This post explains how to add a line at the beginning of a file from the terminal. But how do I modify from the terminal a line somewhere in a file if I do not know which line it is?
I should modify the line
eni=10.*10**8 note the exponents. It is the second time that