{% extends "base.html" %} {% block title %}Workspaces — Nullius{% endblock %} {% block crumb %}/ workspaces{% endblock %} {% block body %}

Workspaces

A named set of run roots and what was read from them. New workspace →

{% if workspaces %} {% for ws in workspaces %} {% set current = workspace and ws.name == workspace.name %} {% endfor %}
WorkspaceNameRootsCached runsLast opened
{% if current %}●{% endif %} {# every workspace renames from its own row, open or not; its directory follows the name #}
{{ ws.name }} {% for r in ws.roots %}{{ r }}{% if not loop.last %}
{% endif %}{% endfor %}
{{ ws.n_cached }} {{ ws.opened[:16]|replace('T', ' ') }} {% if current %}runs → {% else %}
{% endif %}
{# removes the workspace's cache, imports and export record; the job roots stay where they are #}
{% else %}
No workspace yet.
{% endif %} {% endblock %}