3 ms·yeah I almost always start with `cat` but I still pipe it into `sed -n 1,4p`by 1-more 1y agoyeah I almost always start with `cat` but I still pipe it into `sed -n 1,4p`