2024-02-17 11:17:38 +00:00
|
|
|
<!doctype html>
|
|
|
|
|
<html lang="en">
|
|
|
|
|
<head>
|
|
|
|
|
<meta charset="UTF-8" />
|
2024-04-18 13:00:27 +00:00
|
|
|
<link rel="icon" type="image/svg+xml" href="/favicon.svg" />
|
2024-02-17 11:17:38 +00:00
|
|
|
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
|
2024-02-21 10:13:48 +00:00
|
|
|
|
|
|
|
|
<!--
|
|
|
|
|
Placeholders replaced by Prometheus during serving:
|
2024-09-10 10:39:27 +00:00
|
|
|
- CONSOLES_LINK_PLACEHOLDER is replaced and set to the consoles link if it exists.
|
2024-02-21 10:13:48 +00:00
|
|
|
It will render a "Consoles" link in the navbar when it is non-empty.
|
2024-09-10 10:39:27 +00:00
|
|
|
- AGENT_MODE_PLACEHOLDER is replaced by a boolean indicating if Prometheus is running in agent mode.
|
2024-02-21 10:13:48 +00:00
|
|
|
It true, it will disable querying capacities in the UI and generally adapt the UI to the agent mode.
|
|
|
|
|
It has to be represented as a string, because booleans can be mangled to !1 in production builds.
|
2024-09-10 10:39:27 +00:00
|
|
|
- READY_PLACEHOLDER is replaced by a boolean indicating whether Prometheus was ready at the time the
|
2024-02-21 10:13:48 +00:00
|
|
|
web app was served. It has to be represented as a string, because booleans can be mangled to !1 in
|
|
|
|
|
production builds.
|
2024-09-10 10:39:27 +00:00
|
|
|
- LOOKBACKDELTA_PLACEHOLDER is replaced by the default lookback delta duration used for queries.
|
2024-02-21 10:13:48 +00:00
|
|
|
-->
|
|
|
|
|
<script>
|
|
|
|
|
const GLOBAL_CONSOLES_LINK='CONSOLES_LINK_PLACEHOLDER';
|
|
|
|
|
const GLOBAL_AGENT_MODE='AGENT_MODE_PLACEHOLDER';
|
|
|
|
|
const GLOBAL_READY='READY_PLACEHOLDER';
|
2024-09-10 10:39:27 +00:00
|
|
|
const GLOBAL_LOOKBACKDELTA='LOOKBACKDELTA_PLACEHOLDER';
|
2024-02-21 10:13:48 +00:00
|
|
|
</script>
|
|
|
|
|
|
|
|
|
|
<!--
|
|
|
|
|
The TITLE_PLACEHOLDER magic value is replaced during serving by Prometheus.
|
|
|
|
|
We need it dynamic because it can be overridden by the command line flag `web.page-title`.
|
|
|
|
|
-->
|
|
|
|
|
<title>TITLE_PLACEHOLDER</title>
|
2024-02-17 11:17:38 +00:00
|
|
|
</head>
|
|
|
|
|
<body>
|
|
|
|
|
<div id="root"></div>
|
|
|
|
|
<script type="module" src="/src/main.tsx"></script>
|
|
|
|
|
</body>
|
|
|
|
|
</html>
|
