shelley: prompt engineering

Philip Zeyliger created 

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.

Change summary

server/system_prompt.txt | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)

Detailed changes

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}}
 <exe_dev>
@@ -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}}<sudo_access>available</sudo_access>{{else}}<sudo_access>not_available</sudo_access>{{end}}