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 #