Skip to content

Rename "Prometheus" docs section to "Prometheus Server"#2473

Merged
juliusv merged 1 commit intomainfrom
rename-prometheus-section
Jun 7, 2024
Merged

Rename "Prometheus" docs section to "Prometheus Server"#2473
juliusv merged 1 commit intomainfrom
rename-prometheus-section

Conversation

@juliusv
Copy link
Member

@juliusv juliusv commented Jun 7, 2024

As per Björn's comment on the team mailing list:

"I think the current "Prometheus" section is not very well named. It is essentially the part coming from the prometheus/prometheus repo (not prometheus/docs, as the rest fo the site), and it means "The Prometheus Server". I think it should be named that way because just "Prometheus" could mean a lot of things. On prometheus.io, "Prometheus" mostly refers to the overarching project."

@juliusv juliusv force-pushed the rename-prometheus-section branch 2 times, most recently from be0be3e to 8d29261 Compare June 7, 2024 07:50
As per Björn's comment on the team mailing list:

"I think the current "Prometheus" section is not very well named. It is
essentially the part coming from the prometheus/prometheus repo (not
prometheus/docs, as the rest fo the site), and it means "The
Prometheus Server". I think it should be named that way because just
"Prometheus" could mean a lot of things. On prometheus.io,
"Prometheus" mostly refers to the overarching project."

This also adds CSS styles to make sure that the "Prometheus Server" text gets
line-broken in such a way on narrow displays that the second line is indented
correctly.

Signed-off-by: Julius Volz <julius.volz@gmail.com>
@juliusv juliusv force-pushed the rename-prometheus-section branch from 8d29261 to 8484509 Compare June 7, 2024 08:03
@juliusv juliusv merged commit 2c36ee9 into main Jun 7, 2024
@juliusv juliusv deleted the rename-prometheus-section branch June 7, 2024 13:43
@bwplotka
Copy link
Member

❤️

beorn7 added a commit that referenced this pull request Jun 12, 2024
After #2473 finally reaming the "Prometheus" section to "Prometheus
Server", I think we should also rename the top-level "Alerting"
section to "Alertmanager". This section is just the embedded
documentation from the Alertmanager repository, and it speaks volumes
that the "Precise alerting" link on the landing page leads to
https://prometheus.io/docs/prometheus/latest/configuration/alerting_rules/
rather than the so-called "Alerting" section.

In defense of the current section name, there is an "Alerting
Overview" subsection that links to other places, but I think it's
still better to call the whole section "Alertmanager', also
because it makes it easier to find the actual Alertmanager
documentation if you are looking specifically for it (rather than
Alerting in general).

Final point: The first item if you expand the "Alerting" navbar is the
selection of the Alertmanager version, which is also confusing if the
title just above it just reads "Alerting".

Signed-off-by: beorn7 <beorn@grafana.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants