In message <20000525121514.A14876@antioche.lip6.fr>, Manuel Bouyer writes:
>While you're at it :) there's a few inconsistencies between input and output,
>regarding numbers:

I'm reluctant to change interfaces without good reason.

>for example 'ps' shows pid in decimal but kill only accepts hex ...

No, kill accepts the pid in the current radix. So, presuming
a desire to kill process 11:

    kill 0t11
or
    kill b
or
    kill 0xb
or
    set $radix=0t10
    kill 11

But more seriously, how would you like to see this addressed?

The manpage could get a clarification that "ps" prints the pid in
decimal.

"ps" could be modified to prin the pid in the current radix.

Do you have an explicit proposal?

--jhawk