On Wed, 2026-04-22 00:16:58 -0700,
geoffroy...@gmail.com <
geoffroy...@gmail.com> wrote:
> On Tuesday, 21 April 2026 at 18:06:09 UTC+2
jbg...@lug-owl.de wrote:
> > On Sat, 2026-04-18 19:46:22 +0200, Jan-Benedict Glaw <
jbg...@lug-owl.de> > wrote:
> > > I've setup Jenkins, with ~ 2k jobs to build GCC, glibc, Binutils,
> > > NetBSD, crosstool-NG, buildroot etc. It's using several builders,
> > > usually starting Docker containers (or VMs to build NetBSD natively
> > > within NetBSD to get even wider reproducibility comparisons.)
> > > horizontal scrollbar instead of wrapped long lines.
[...]
> > Answering myself: It seems this does do the job:
> >
> > sed -i -e 's/white-space:pre-wrap//' /var/cache/jenkins/war/jsbundles/styles.css
>
That's a good tip. Installed the "Simple Theme" plugin, then went to
Settings -> Appearance -> Customizable theme and added one piece of
Extra CSS:
pre {
white-space: pre !important;
}
That does the job.
Thanks a lot!
MfG, JBG
--