{% trans %}Secure Shell{% endtrans %}
{% if user.username == username %} {% if not user.ssh_jumphosts_enabled %} {# Display a request button if SSH Jumphosts is not enabled. #} {% endif %} {% endif %} {% set clipboard_ssh -%} # {% trans %}Secure Shell{% endtrans +%} {% trans %}SSH{% endtrans %}: {{ user.ssh_key_status.label }} {% trans %}SSH Jumphosts{% endtrans %}: {{ user.ssh_jumphosts_enabled | join(", ") }} {% trans %}SSH Public Key{% endtrans %}: {{ user.ssh_key }} {% trans %}SSH Key Fingerprint{% endtrans %}: {{ user.ssh_key_fingerprint }} {% endset %}
{# Card body #}
{% trans %}SSH{% endtrans %}
{% trans %}SSH Jumphosts{% endtrans %}
{% for host in user.ssh_jumphosts_enabled %} {% else %} {% endfor %}
{% trans %}SSH Public Key{% endtrans %}
{% if user.ssh_key %}
{{ user.ssh_key }}
{% else %} — {% endif %}
{% trans %}SSH Key Fingerprint{% endtrans %}
{% if user.ssh_key_fingerprint %}
{{ user.ssh_key_fingerprint }}
{% else %} — {% endif %}
{# Modal dialog - Replace SSH Key #} {% if user.username == username %}

{% trans %}You may store only one SSH key in your account. Submitting a new key will immediately remove and replace the previous one.{% endtrans %}

{% trans %}To update your SSH key, paste your new public key below. Supported formats include OpenSSH and PuTTY public keys. Make sure there are no extra spaces or line breaks.{% endtrans %}

{% if replace_ssh_key_form.accepted_ssh_key_type %}

{% trans %}Only the following SSH key types are accepted: {% endtrans %}{{ replace_ssh_key_form.accepted_ssh_key_type | join(", ") }}

{% endif %}

{% trans %}By submitting this form, your previous SSH key will be removed and replaced immediately. Ensure that you have access to the corresponding private key before proceeding.{% endtrans %}

{% endif %}