diff options
Diffstat (limited to 'rc/bin/psu')
| -rwxr-xr-x | rc/bin/psu | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/rc/bin/psu b/rc/bin/psu new file mode 100755 index 000000000..d9f63fef8 --- /dev/null +++ b/rc/bin/psu @@ -0,0 +1,20 @@ +#!/bin/rc +# psu - ps for just one user +rfork e +flags=() +while (! ~ $#* 0 && ~ $1 -*) { + flags = ($flags $1) + shift +} + +# sed -n p rather than grep so that we get buffered writes. +# this is a huge difference in drawterm. +switch($#*){ +case 0 + ps $flags | sed -n '/^'$user' /p' +case 1 + ps $flags | sed -n '/^'$1' /p' +case * + echo Usage: psu '[ps-flags] [ user ]' >[1=2] + exit usage +} |
