3 ms·Yeah, I know about that, I just prefer not to use that option because `head -1 > /dev/null` is clearerby fiddlerwoaroof 10y agoYeah, I know about that, I just prefer not to use that option because `head -1 > /dev/null` is clearer