mirror of
https://github.com/OpenHands/OpenHands.git
synced 2026-03-22 13:47:19 +08:00
29 lines
1.2 KiB
Django/Jinja
29 lines
1.2 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).
|
|
For example, if you are using vite.config.js, you should set server.host to 0.0.0.0, server.port to the port assigned to you, and allowedHosts to the host assigned to you.
|
|
{% endif %}
|
|
{% if runtime_info.additional_agent_instructions %}
|
|
{{ runtime_info.additional_agent_instructions }}
|
|
{% endif %}
|
|
</RUNTIME_INFORMATION>
|
|
{% endif %}
|