Re: [slurm-users] SLURM docs: HTML title should be same as page title

2019-02-27 Thread Chris Samuel
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

Re: [slurm-users] SLURM docs: HTML title should be same as page title

2019-02-25 Thread Patrice Peterson
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

Re: [slurm-users] SLURM docs: HTML title should be same as page title

2019-02-22 Thread Will Dennis
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, > &

Re: [slurm-users] SLURM docs: HTML title should be same as page title

2019-02-22 Thread Prentice Bisbal
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