3 ms·
Wouldn't it be slightly easier to do something like sed -n 123425938039p file? To be fair, this one won't exit early.
by eadler 12y ago
Wouldn't it be slightly easier to do something like
sed -n 123425938039p file?
To be fair, this one won't exit early.