I have a string like this:
line="06:13:41.817 INFO ProgressMeter - Traversal complete. Processed 46942 total variants in 2.2 minutes."
I want to extract 46942
and put in a variable.
I tried this, but it only removes the Processed and total. How do I do it?
Var=$(echo $line | sed -e 's/Processed\(.*\)total/\1/')