{% extends "base.html" %}
{% set remote_run = workspace.remote_run | default(none) %}
{% set server_terminal = workspace.is_server_terminal | default(false) %}
{% set remote_run_state_key = ('remote_run.state.' ~ remote_run.state) if remote_run else '' %}
{% set remote_run_terminal = remote_run and remote_run.state in ('finished', 'stopped', 'failed', 'lost') %}
{% if remote_run %}
{% set workspace_kind_label = 'remote_run.workspace_mode' %}
{% elif server_terminal %}
{% set workspace_kind_label = 'server_terminal.mode' %}
{% elif workspace.backend_kind == 'ssh' %}
{% set workspace_kind_label = 'workspace.kind.ssh' %}
{% else %}
{% set workspace_kind_label = 'workspace.kind.local' %}
{% endif %}
{% set workspace_sidebar_status = t('server_terminal.mode') if server_terminal else t(session_status_label) %}
{% set workspace_sidebar_detail = t('common.terminal') ~ ' ' ~ terminal_count %}
{% block body_class %}workspace-page{% endblock %}
{% block body %}
{% if remote_run %}
{% endif %}
{% block workspace_content %}{% endblock %}
{% block workspace_scripts %}{% endblock %}
{% if remote_run %}{% endif %}
{% endblock %}