listen_port being passed on to prometheus.start_http_server makes it a whole listen_address, rather than just a port, making configs look confusing when you actually need not-just-a-port in there.
Perhaps it'd be worth to rename it, keeping the existing one as a deprecated alias for a while?
metrics in the configuration only exposes port as a configurable, making it tricky to listen on non-standard addresses if needed.
listen_portbeing passed on toprometheus.start_http_servermakes it a whole listen_address, rather than just a port, making configs look confusing when you actually need not-just-a-port in there.Perhaps it'd be worth to rename it, keeping the existing one as a deprecated alias for a while?metricsin the configuration only exposesportas a configurable, making it tricky to listen on non-standard addresses if needed.