Allow customizing the server name

[austin987]

Currently, it's hardcoded:

prometheus/web/ui/templates/_base.html

Line 6 in 9ee4b05

<title>Prometheus Time Series Collection and Processing Server</title>

as Prometheus Time Series Collection and Processing Server

I'd like the ability to customize it with my own title. In particular, I'd like to show the current environment, so I can distinguish between different instances.

So for example:
'Dev Prometheus Server
Prod Prometheus Server

Noticed while running app-metrics/prometheus-2.3.2, but the relevant code is unchanged in 2.4.2.

[achiuBAE]

Hi, is anyone working on this one? If not, could I work on it?

[achiuBAE]

What would be the optimal way to implement this? Through the config file, or through the flag? I see the flags are purely for configuring immutable system parameters, so i'm guessing the flag wouldn't be the way?
Or even through the front end?

Thanks

[austin987]

IMO config file or flag is fine. Front end would not be preferred, as that's harder to automate ;)

[austin987]

Fixed by a9050c4