On Wed, Jun 04, 2025 at 01:51:14AM +0000, Kyle Evans wrote: K> The branch main has been updated by kevans: K> K> URL: https://cgit.FreeBSD.org/src/commit/?id=969f6380eb66f809eed3e5c38b6021824a4cc2bf K> K> commit 969f6380eb66f809eed3e5c38b6021824a4cc2bf K> Author: Kyle Evans <kev...@freebsd.org> K> AuthorDate: 2025-06-04 01:51:06 +0000 K> Commit: Kyle Evans <kev...@freebsd.org> K> CommitDate: 2025-06-04 01:51:06 +0000 K> K> kdump: nicer printing of kill(2) PID argument K> K> Similar to wait*(), kill(2) operates on a pid that currently gets output K> as hex. Output it in decimal to make it a little easier to eyeball the K> pid we're signalling. K> K> Reviewed by: markj K> Differential Revision: https://reviews.freebsd.org/D50508
I didn't review if PIDs are always printed as decimals or not, but for the file descriptors it is a mix of hex and decimals. :( Usually I go with a sed script over kdump output to make it consistent. I think if we try to bring that to common format, that would leave some people unsatisfied regardless of our choice - all decimal or all hex. So, I would suggest to add a command line options that would force into all hex or all decimal. -- Gleb Smirnoff
