mirror of
https://github.com/prometheus/prometheus.git
synced 2024-12-25 21:54:10 -08:00
e8bbe191d4
This keeps the old "react-app" directory in its existing location (to make it easier to merge changes from the main branch), but separates it from the npm workspaces setup. Thus it now needs to be npm-installed/built/linted separately. This is a bit hacky, but should only be needed temporarily, until the old UI can be removed. Signed-off-by: Julius Volz <julius.volz@gmail.com>
36 lines
1.5 KiB
HTML
36 lines
1.5 KiB
HTML
<!doctype html>
|
|
<html lang="en">
|
|
<head>
|
|
<meta charset="UTF-8" />
|
|
<link rel="icon" type="image/svg+xml" href="/favicon.svg" />
|
|
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
|
|
|
|
<!--
|
|
Placeholders replaced by Prometheus during serving:
|
|
- GLOBAL_CONSOLES_LINK is replaced and set to the consoles link if it exists.
|
|
It will render a "Consoles" link in the navbar when it is non-empty.
|
|
- PROMETHEUS_AGENT_MODE is replaced by a boolean indicating if Prometheus is running in agent mode.
|
|
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.
|
|
- PROMETHEUS_READY is replaced by a boolean indicating whether Prometheus was ready at the time the
|
|
web app was served. It has to be represented as a string, because booleans can be mangled to !1 in
|
|
production builds.
|
|
-->
|
|
<script>
|
|
const GLOBAL_CONSOLES_LINK='CONSOLES_LINK_PLACEHOLDER';
|
|
const GLOBAL_AGENT_MODE='AGENT_MODE_PLACEHOLDER';
|
|
const GLOBAL_READY='READY_PLACEHOLDER';
|
|
</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>
|
|
</head>
|
|
<body>
|
|
<div id="root"></div>
|
|
<script type="module" src="/src/main.tsx"></script>
|
|
</body>
|
|
</html>
|