Git/Librezo
1
0
Fork 0
mirror of https://git.librezo.fr/Librezo/website.git synced 2025-09-05 20:32:54 +02:00
Code Issues Packages Projects Releases Wiki Activity

mode dev avec LIBREZO_WEBSITE=dev

Browse Source
This commit is contained in:
tuxmain
2023-07-31 11:04:00 +02:00
parent 99f4ab27e2
commit 3a37374bab
2 changed files with 14 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
templates/base.html
View File

@ -8,16 +8,18 @@
{% if page.extra.leaflet or section.extra.leaflet %}<link rel="stylesheet" href="/vendor/leaflet/leaflet.css"/>{% endif %}
<link rel="shortcut icon" type="image/x-icon" href="/favicon.ico"/>
<meta name="viewport" content="width=device-width"/>
<meta name="robots" content="noindex,nofollow"/><!-- TODO remove this for production -->
{% if get_env(name="LIBREZO_WEBSITE", default="prod") == "dev" %}<meta name="robots" content="noindex,nofollow"/>{% endif %}
{% block head %}{% endblock head %}
</head>
<body>
{% if get_env(name="LIBREZO_WEBSITE", default="prod") == "dev" %}
<div id="dev-warning">
<p>
Version de développement. Pour le site officiel actuel, allez sur <a href="https://librezo.fr"><b>Librezo.fr</b></a>.
</p>
<a href="#" onclick="document.getElementById('dev-warning').remove()">fermer</a>
</div>
{% endif %}
<header>
<a href="/">
<picture>