ps: print /dev/pts/* as numbers, not as "pts"
commit0fde20475fb832b0cc002809f3039a8d8afe1dac
authorSimon Schubert <corecode@dragonflybsd.org>
Fri, 23 Oct 2009 20:47:31 +0000 (23 22:47 +0200)
committerSimon 'corecode' Schubert <corecode@fs.ei.tum.de>
Sun, 25 Oct 2009 00:41:46 +0000 (25 02:41 +0200)
tree2a14df1ecaec45c0b90733df3e5241380fcd4987
parent25afc5f8c2695b650f218667e2342ecd7f45d7be
ps: print /dev/pts/* as numbers, not as "pts"
bin/ps/print.c