List the PIDs of the given user.

$ ps aux | awk '$1=="gabor" {print $2}' 
$ ps aux | awk '$1=="gabor" {print $2}' | kill -9