BareGit
const prompt_input = document.getElementById("agent-prompt");
const copy_button = document.getElementById("copy-agent-prompt");
const copy_status = document.getElementById("agent-prompt-status");

copy_button.addEventListener("click", async () =>
{
    try
    {
        await navigator.clipboard.writeText(prompt_input.value);
        copy_status.textContent = "Copied to clipboard.";
    }
    catch
    {
        prompt_input.focus();
        prompt_input.select();
        copy_status.textContent =
            "Copy failed. The prompt is selected; copy it manually.";
    }
});