grep di stdin tenendo l'header

 

A volte puo` essere utile un grep di stdin tenendo l'header

Si definisce in bash (nel .bashrc o simile) una funzione cortissima tipo cosi` =>

hgrep () { read line; echo "$line"; grep $* ; }

ci sono rari casi in cui puo` essere  leggermente pericolosa, ma nel complesso pare accettabile

esempio d'uso:

# lsof   | hgrep  tripwire
COMMAND       PID     TID TASKCMD              USER   FD      TYPE             DEVICE    SIZE/OFF       NODE NAME
tripwire  2285668                              root  cwd       DIR              253,0       36864     524292 /root
tripwire  2285668                              root  rtd       DIR              253,0        4096          2 /
tripwire  2285668                              root  txt       REG              253,0     3140528        594 /usr/sbin/tripwire
tripwire  2285668                              root    4u      REG              253,3    51822592         36 /tmp/twtempUYqaRJ (deleted)
#
# ps aux | hgrep /usr/sbin/tripwire
USER         PID %CPU %MEM    VSZ   RSS TTY      STAT START   TIME COMMAND
root     2285668 96.1  1.4 484084 467676 ?       R    14:45  16:33 /usr/sbin/tripwire
#