{% extends "base.html" %} {% block title %}Workspaces — Nullius{% endblock %} {% block crumb %}/ workspaces{% endblock %} {% block body %}
A named set of run roots and what was read from them. New workspace →
{% if workspaces %}| Workspace | Name | Roots | Cached runs | Last 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 #} |