#!/bin/zsh
# Get the PID of a process (without ``ps'', ``sed'', ``pgrep'', ..
pid2 () {
local i
for i in /proc/<->/stat
do
[[ "$(< $i)" = *\((${(j:|:)~@})\)* ]] && echo $i:h:t
done
}
pid2 "$@"