using grep for numbers
i need to extract the time from some data files i am working with. at this point i can grab the line "t = 0.125" and other times from the files, but how can i grab just the number, in this case 0.125.
the current expression i am using is:
grep "t =" name_of_file.dat
thanks
|