2019-10-17 12:38:09 +00:00
|
|
|
<!DOCTYPE html>
|
|
|
|
|
<html lang="en">
|
|
|
|
|
<head>
|
|
|
|
|
<meta charset="utf-8" />
|
|
|
|
|
<link rel="shortcut icon" href="%PUBLIC_URL%/favicon.ico" />
|
|
|
|
|
<meta
|
|
|
|
|
name="viewport"
|
|
|
|
|
content="width=device-width, initial-scale=1, shrink-to-fit=no"
|
|
|
|
|
/>
|
|
|
|
|
<meta name="theme-color" content="#000000" />
|
2019-11-04 08:17:50 +00:00
|
|
|
|
|
|
|
|
<!--
|
2021-11-03 03:47:14 +00:00
|
|
|
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.
|
2019-11-04 08:17:50 +00:00
|
|
|
-->
|
2020-02-08 10:00:48 +00:00
|
|
|
<script>
|
|
|
|
|
const GLOBAL_CONSOLES_LINK='CONSOLES_LINK_PLACEHOLDER';
|
2021-11-03 03:47:14 +00:00
|
|
|
const GLOBAL_PROMETHEUS_AGENT_MODE=PROMETHEUS_AGENT_MODE_PLACEHOLDER;
|
2020-02-08 10:00:48 +00:00
|
|
|
</script>
|
2019-11-04 08:17:50 +00:00
|
|
|
|
2019-10-17 12:38:09 +00:00
|
|
|
<!--
|
|
|
|
|
manifest.json provides metadata used when your web app is added to the
|
|
|
|
|
homescreen on Android. See https://developers.google.com/web/fundamentals/web-app-manifest/
|
|
|
|
|
-->
|
2020-08-27 20:50:32 +00:00
|
|
|
<link rel="manifest" href="%PUBLIC_URL%/manifest.json" crossorigin="use-credentials"/>
|
2019-10-17 12:38:09 +00:00
|
|
|
<!--
|
|
|
|
|
Notice the use of %PUBLIC_URL% in the tags above.
|
|
|
|
|
It will be replaced with the URL of the `public` folder during the build.
|
|
|
|
|
Only files inside the `public` folder can be referenced from the HTML.
|
|
|
|
|
|
|
|
|
|
Unlike "/favicon.ico" or "favicon.ico", "%PUBLIC_URL%/favicon.ico" will
|
|
|
|
|
work correctly both with client-side routing and a non-root public URL.
|
|
|
|
|
Learn how to configure a non-root public URL by running `npm run build`.
|
|
|
|
|
-->
|
2020-07-21 08:48:29 +00:00
|
|
|
<!--
|
|
|
|
|
The TITLE_PLACEHOLDER magic value is replaced during serving by Prometheus.
|
|
|
|
|
We need it dynamic because it can be overriden by the command line flag `web.page-title`.
|
|
|
|
|
-->
|
|
|
|
|
<title>TITLE_PLACEHOLDER</title>
|
2019-10-17 12:38:09 +00:00
|
|
|
</head>
|
2021-04-15 16:14:07 +00:00
|
|
|
<body class="bootstrap">
|
2019-10-17 12:38:09 +00:00
|
|
|
<noscript>You need to enable JavaScript to run this app.</noscript>
|
|
|
|
|
<div id="root"></div>
|
|
|
|
|
<!--
|
|
|
|
|
This HTML file is a template.
|
|
|
|
|
If you open it directly in the browser, you will see an empty page.
|
|
|
|
|
|
|
|
|
|
You can add webfonts, meta tags, or analytics to this file.
|
|
|
|
|
The build step will place the bundled scripts into the <body> tag.
|
|
|
|
|
|
|
|
|
|
To begin the development, run `npm start` or `yarn start`.
|
|
|
|
|
To create a production bundle, use `npm run build` or `yarn build`.
|
|
|
|
|
-->
|
|
|
|
|
</body>
|
|
|
|
|
</html>
|
