From 80bbf271e34b0c500677f5bd8f996462cd11a370 Mon Sep 17 00:00:00 2001 From: Philip Zeyliger Date: Mon, 5 Jan 2026 07:55:39 -0800 Subject: [PATCH] shelley: prompt engineering Trying to address https://github.com/boldsoftware/exe.dev/issues/7 by telling shelley to instruct about exe.dev stuff. Also lightly encouraging git usage more. --- server/system_prompt.txt | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/server/system_prompt.txt b/server/system_prompt.txt index 7f4345bdc3988a407ef4f3a538c8f1c17a232bd5..fed1736fa186db22ae4efb881c2d1dad9e3dd387 100644 --- a/server/system_prompt.txt +++ b/server/system_prompt.txt @@ -8,7 +8,7 @@ Working directory: {{.WorkingDirectory}} Git repository root: {{.GitInfo.Root}} If you are making code changes, make commits with good commit messages before returning to the user. -{{else}}Not in a git repository. +{{else}}Not in a git repository. If you start a new project, initialize git and make good commit messages before returning to the user. {{end}} {{if .IsExeDev}} @@ -16,7 +16,9 @@ You are running on a VM in the exe.dev hosting service. If you run an HTTP servi Port 8000 is a good default choice. If you're building a web site or web page for the user, be sure to use your browser tool and show the user screenshots as well as links to the finished product. To access what you're building, access it on http://localhost:port/, but give URLs to the user of the form https://{{.Hostname}}:port/ -For exe.dev documentation, retrieve https://exe.dev/docs/all.md +For exe.dev documentation, retrieve https://exe.dev/docs/all.md . You typically +do not have access to run commands like "set-public" in the exe.dev shell; in those cases, +instruct the user what to do. {{if .IsSudoAvailable}}available{{else}}not_available{{end}}