This repository has been archived on 2024-10-26. You can view files and clone it, but cannot push or open issues or pull requests.
staxman-old/templates/container/get-one.html

237 lines
5.4 KiB
HTML
Raw Normal View History

2023-11-19 14:08:47 +00:00
{% extends "base.html" %}
{% block title %}Container {{container_name}}{% endblock %}
{% block content %}
<main>
<header>
<h1>Container <span class="container-name">{{container_name}}</span> {% match info.stack() %}{% when
Some
with (stack) %}({% match info.stack_folder() %}{% when
Some
with (stack_folder) %}<a class="stack-name" href="/stack/{{stack_folder}}/">{{stack}}</a>)
{% when None %}{% endmatch %}
{% when None %}{% endmatch %}</h1>
<div class="actions">
<form action="./start" method="POST"><button type="submit">Start</button></form>
<form action="./restart" method="POST"><button type="submit">Restart</button></form>
<form action="./stop" method="POST"><button type="submit">Stop</button></form>
<form action="./kill" method="POST"><button type="submit">Kill</button></form>
<form action="./remove" method="POST"><button type="submit">Delete</button></form>
</div>
</header>
2023-11-19 17:09:36 +00:00
<section class="status-section">
<h2>Status</h2>
2023-11-22 09:59:51 +00:00
<article>
<dl class="table">
<dt>ID</dt>
<dd>{{ info.id }}</dd>
<dt>Status</dt>
<dd data-state="{{ info.state }}">{{ info.state }}</dd>
<dt>Image</dt>
<dd>{{ info.image }}</dd>
<dt>Image ID</dt>
<dd>{{ info.image_id }}</dd>
<dt>Created at</dt>
<dd>{{ info.created_at }}</dd>
</dl>
<dl class="list">
{% match info.volumes %}
{% when Some with (volumes) %}
<dt>Volumes</dt>
{% for volume in volumes %}
<dd>
{{ volume.source.clone().unwrap_or_default() }} → {{
volume.destination.clone().unwrap_or_default() }}
</dd>
{% endfor %}
{% when None %}
{% endmatch %}
{% match info.env %}
{% when Some with (env) %}
<dt>Environment</dt>
{% for var in env %}
<dd>{{ var }}</dd>
{% endfor %}
{% when None %}
{% endmatch %}
{% match info.labels %}
{% when Some with (labels) %}
<dt>Labels</dt>
{% for label in labels %}
<dd class="label"><span class="key">{{ label.0 }}</span> = <span class="value">{{
label.1
}}</span></dd>
{% endfor %}
{% when None %}
{% endmatch %}
</dl>
</article>
2023-11-19 17:09:36 +00:00
</section>
<section class="log-section">
<h2>Logs</h2>
<code id="log"></code>
</section>
2023-11-19 14:08:47 +00:00
</main>
2023-11-25 00:38:56 +00:00
<link rel="stylesheet" href="/static/css/resource.css" />
2023-11-19 14:08:47 +00:00
<style scoped>
a.stack-name {
text-decoration: none;
}
2023-11-19 14:08:47 +00:00
main {
display: flex;
flex-direction: column;
gap: 1rem;
}
h2 {
text-transform: uppercase;
margin: 0;
padding: 0;
2023-11-19 17:09:36 +00:00
margin-bottom: 1rem;
2023-11-19 14:08:47 +00:00
}
pre {
margin: 0;
padding: 0;
}
.container-name {
2023-11-25 00:38:56 +00:00
color: var(--text-accent);
2023-11-19 14:08:47 +00:00
}
.label {
& .key {
2023-11-25 00:38:56 +00:00
color: var(--text-accent);
}
}
2023-11-19 14:08:47 +00:00
#log {
background-color: var(--bg-raised);
2023-11-19 14:08:47 +00:00
display: flex;
display: block;
2023-11-19 14:33:09 +00:00
max-height: 80vh;
2023-11-19 14:08:47 +00:00
overflow-y: auto;
& .error {
padding: 4px 8px;
2023-11-25 00:38:56 +00:00
background-color: var(--danger-bg);
color: var(--danger-text);
2023-11-19 14:08:47 +00:00
}
& p {
padding: 4px 8px;
margin: 0;
2023-11-19 14:33:09 +00:00
background-color: #1a1c38;
2023-11-19 14:08:47 +00:00
&:nth-child(odd) {
2023-11-19 14:33:09 +00:00
background-color: #212345;
2023-11-19 14:08:47 +00:00
}
}
2023-11-19 17:09:36 +00:00
& time {
padding-right: 1ch;
color: #B1A9FF;
}
}
main>header {
2023-11-19 17:09:36 +00:00
grid-area: head;
}
.status-section {
grid-area: info;
}
.log-section {
grid-area: log;
}
@media (min-width: 1000px) {
main {
2023-11-22 09:59:51 +00:00
overflow: hidden;
2023-11-19 17:09:36 +00:00
display: grid;
grid-template-areas:
2023-11-22 09:59:51 +00:00
"head head"
"info log";
2023-11-19 17:09:36 +00:00
grid-template-rows: 120px 1fr;
2023-11-19 17:09:36 +00:00
grid-template-columns: 30vw 1fr;
}
2023-11-22 09:59:51 +00:00
.status-section>article,
#log {
height: calc(100vh - 240px);
max-height: none;
overflow: auto;
}
2023-11-19 14:08:47 +00:00
}
</style>
<script type="module">
import ansiFmt from 'https://esm.run/ansi-to-html';
const convert = new ansiFmt({
fg: '#E0DFFE',
bg: '#171625',
newline: false,
escapeXML: true,
stream: false,
colors: ["#282c34", "#abb2bf", "#e06c75", "#be5046", "#98c379", "#d19a66", "#61afef", "#c678dd", "#56b6c2", "#4b5263", "#5c6370"]
});
const logEl = document.querySelector("#log");
const logSource = new EventSource(`${location.origin}${location.pathname}log`);
2023-11-19 14:08:47 +00:00
logSource.addEventListener("error", (ev) => {
logSource.close();
const err = document.createElement("div");
err.className = "error";
err.appendChild(document.createTextNode("No logs available after this (container not running)"));
logEl.appendChild(err);
err.scrollIntoView();
return;
});
logSource.addEventListener("message", (ev) => {
const data = JSON.parse(ev.data);
// If an error is received stop listening
if ("error" in data) {
logSource.close();
const err = document.createElement("div");
err.className = "error";
err.appendChild(document.createTextNode(data.error));
logEl.appendChild(err);
err.scrollIntoView();
return;
}
// Received lines of log
if ("lines" in data) {
2023-11-19 17:09:36 +00:00
data.lines.split("\n").forEach(line => {
if (!line) {
return;
}
// Extract timestamp
const firstSpace = line.indexOf(' ')
const [timestamp, logline] = [line.substring(0, firstSpace), line.substring(firstSpace + 1)];
2023-11-19 14:08:47 +00:00
const lineEl = document.createElement("p");
2023-11-19 17:09:36 +00:00
lineEl.innerHTML = `<time datetime="${timestamp}">${timestamp}</time>${convert.toHtml(logline)}`.trim();
2023-11-19 14:08:47 +00:00
logEl.appendChild(lineEl);
lineEl.scrollIntoView();
});
}
});
2023-11-19 14:33:09 +00:00
// Fix copying from log (remove double newlines)
logEl.addEventListener("copy", (event) => {
const selection = document.getSelection();
event.clipboardData.setData("text/plain", selection.toString().replace(/\n\n/g, '\n'));
event.preventDefault();
});
2023-11-19 14:08:47 +00:00
</script>
{% endblock %}