K 10 svn:author V 2 ed K 8 svn:date V 27 2008-09-28T16:44:15.703905Z K 7 svn:log V 438 Don't automatically prepend the "tty" prefix to `pkill -t' arguments. Because we now enforce UNIX98-style PTY's, we now use a lot of TTY's that don't have the traditional /dev/ttyXX naming scheme. pkill(1)'s -t flag automatically prepended the word "tty" to each TTY that was passed on the command line. This meant that `pkill -t pts/0' was actually converted to /dev/ttypts/0. Disable this broken behaviour for now. Reported by: erwin END