[Toybox] [PATCH] ps/top: auto-size the PID/PPID fields.

[Rob Landley]

On 2/22/20 5:16 PM, enh via Toybox wrote:
> While most Android devices still have low pid_max values,

as does devuan (32768)

> my laptop and
> desktop are using ever higher values. Auto-size the PID and PPID fields
> based on the system's current configuration rather than hard-coding
> values.

Ew.

Out of curiosity, what is your pid_max current set to?

Rob