RFR: 8337276: jcmd man page update for PID in output filenames [v3]

[Kevin Walls]

On Thu, 17 Oct 2024 16:12:26 GMT, Kevin Walls <kevinw at openjdk.org> wrote:

>> Man page update for jcmd.
>> 
>> Add updates for the filename options/arguments affected by:
>> 8334492: DiagnosticCommands (jcmd) should accept %p in output filenames and substitute PID
>> 
>> Also:
>> In the initial "command" summary, remove the text about "If the pid is 0.." as it is completely duplicated very shortly afterwards in the COMMANDS FOR JCMD section.
>> 
>> In Description:
>> Each diagnostic command has its own set of options and arguments .
>>  
>> Added "options and" because arguments and options are different and this can still be confusing.  Mentioning them as being different may help.
>> 
>> Similarly, added a short section describing that jcmds "may take options and arguments" and further spelling out that options are name=value and arguments are not, as this can still be confusing.
>
> Kevin Walls has updated the pull request incrementally with one additional commit since the last revision:
> 
>   VM.cds remove unnecessary text

Thanks Chris and Sonia!

-------------

PR Comment: https://git.openjdk.org/jdk/pull/20401#issuecomment-2448287143