ps: print /dev/pts/* as numbers, not as "pts"
authorSimon Schubert <corecode@dragonflybsd.org>
Fri, 23 Oct 2009 20:47:31 +0000 (22:47 +0200)
committerSimon Schubert <corecode@dragonflybsd.org>
Fri, 23 Oct 2009 20:52:29 +0000 (22:52 +0200)
commit371de718db863c98c3cd3a0741e1b75502890da8
tree4779ca32d73b15eba54371ec233466a8d0b5b4c9
parent2d1e477da239e1c76295ca1444636f62f2c424e5
ps: print /dev/pts/* as numbers, not as "pts"
bin/ps/print.c