mirror of
https://github.com/OpenHands/OpenHands.git
synced 2025-12-26 05:48:36 +08:00
cc45f5d9c3
Co-authored-by: openhands <openhands@all-hands.dev> Co-authored-by: Calvin Smith <email@cjsmith.io>
28 lines
1.1 KiB
Django/Jinja
28 lines
1.1 KiB
Django/Jinja
{% if repository_info %}
|
|
<REPOSITORY_INFO>
|
|
At the user's request, repository {{ repository_info.repo_name }} has been cloned to the current working directory {{ repository_info.repo_directory }}.
|
|
</REPOSITORY_INFO>
|
|
{% endif %}
|
|
{% if repository_instructions -%}
|
|
<REPOSITORY_INSTRUCTIONS>
|
|
{{ repository_instructions }}
|
|
</REPOSITORY_INSTRUCTIONS>
|
|
{% endif %}
|
|
{% if runtime_info and (runtime_info.available_hosts or runtime_info.additional_agent_instructions) -%}
|
|
<RUNTIME_INFORMATION>
|
|
{% if runtime_info.available_hosts %}
|
|
The user has access to the following hosts for accessing a web application,
|
|
each of which has a corresponding port:
|
|
{% for host, port in runtime_info.available_hosts.items() -%}
|
|
* {{ host }} (port {{ port }})
|
|
{% endfor %}
|
|
When starting a web server, use the corresponding ports. You should also
|
|
set any options to allow iframes and CORS requests, and allow the server to
|
|
be accessed from any host (e.g. 0.0.0.0).
|
|
{% endif %}
|
|
{% if runtime_info.additional_agent_instructions %}
|
|
{{ runtime_info.additional_agent_instructions }}
|
|
{% endif %}
|
|
</RUNTIME_INFORMATION>
|
|
{% endif %}
|