function ppgrep() { pgrep "$@" | xargs ps -fp 2> /dev/null; }
