You're right that Jenkins doesn't provide details via help, but the method is documented on the Jenkins wiki, and is a standard Java mechanism of customising the logging output...
I can also see several mentions of the same method in this email thread... However the changes introduced have broken that method! On Fri, 7 Jun 2019, 14:37 Jesse Glick, <[email protected]> wrote: > On Fri, Jun 7, 2019 at 6:23 AM 'Gavin Williams' via Jenkins Developers > <[email protected]> wrote: > > Unfortunately this appears to have broken the ability to provide a > custom log format :( > > > > See https://issues.jenkins-ci.org/browse/JENKINS-57888 for more info... > > Seems like an RFE to me. `java -jar jenkins.war --help` does not > document any option to select a custom log format. > > -- > You received this message because you are subscribed to a topic in the > Google Groups "Jenkins Developers" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/jenkinsci-dev/4PTMMwQNfjw/unsubscribe. > To unsubscribe from this group and all its topics, send an email to > [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/jenkinsci-dev/CANfRfr0%2Bz%2B%3DgPAmYTT51wVdCLhifx5Q1HP_GR3pC7PSc1SLEOA%40mail.gmail.com > . > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CACxPT9ewNfbQuV%3Dv1cJMnsnQuZB_Grpsr_qiA19YY-JETw6ZVw%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
