> ps -fu $1 | awk  '{print $2}'
>
> PID
> 1034
> 4290
>
> What's an easy way to eliminate the heading-string (PID)

format of an awk command is

True=nonzero,  false = 0
NR = record (line) number (begins at 1)

So:

ps -fu $1 | awk  'NR > 1 {print $2}' > user_proc

documented on: 22:24:17