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/ :

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 >

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: > Hell

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

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

2019-02-22 Thread 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 open and it's difficult to differentiate between them all. Would it be possible to change the tab title to the page title for the doc