On Thu, May 25, 2000 at 10:31:26AM -0400, John Hawkinson wrote:
> [...]
> >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

Ok, I didn't know radix. So with $radix=0t10, 11 is really 11 (decimal) ?

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

'11' is decimal, '0x11' is hex :)

> 
> 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.

This would be a good thing, certainly.

> 
> Do you have an explicit proposal?

Not really, I didn't know the radix stuff and though that kill always handled
its argument as hex.

--
Manuel Bouyer, LIP6, Universite Paris VI.           Manuel.Bouyer@lip6.fr
--