Just a note that egrep is told to be deprecated (in manual page), "grep -E" is is the recommended form. That said, grep -o '[0-9]*' would work here, too. Or awk 'NR==2{print $1}'
« Back to merge proposal
Just a note that egrep is told to be deprecated (in manual page), "grep -E" is is the recommended form. That said, grep -o '[0-9]*' would work here, too. Or awk 'NR==2{print $1}'