On Monday, 25 February 2019 2:55:44 AM PST Patrice Peterson wrote:
> Filed a bug: https://bugs.schedmd.com/show_bug.cgi?id=6573
Looks like Danny fixed it in git.
https://github.com/SchedMD/slurm/commit/b1c78d9934ef461df637c57c001eb165a6b1fcc3
--
Chris Samuel : http://www.csamuel.org/ : B
Filed a bug: https://bugs.schedmd.com/show_bug.cgi?id=6573
Am Freitag, 22. Februar 2019, 15:53:12 CET schrieb Patrice Peterson:
> Hello,
>
> it's a little inconvenient that the title tag of all SLURM doc pages only
> says "Slurm Workload Manager". I usually have tabs to many SLURM doc
pages
> op
users [mailto:slurm-users-boun...@lists.schedmd.com] On Behalf Of
Prentice Bisbal
Sent: Friday, February 22, 2019 11:17 AM
To: slurm-users@lists.schedmd.com
Subject: Re: [slurm-users] SLURM docs: HTML title should be same as page title
On 2/22/19 9:53 AM, Patrice Peterson wrote:
> Hello,
>
&
On 2/22/19 9:53 AM, Patrice Peterson wrote:
Hello,
it's a little inconvenient that the title tag of all SLURM doc pages only says
"Slurm Workload Manager". I usually have tabs to many SLURM doc pages
open and it's difficult to differentiate between them all.
Would it be possible to change the