tree e8958aaffe7a251cc9975850543963448c23241f
parent ff2df6a1f379812b360f6f3d3e40e4b65aef369c
author David Crawshaw <david@zentus.com> 1747086389 -0700
committer David Crawshaw <david@zentus.com> 1747087922 -0700

dockerimg: more exacting prompt for building a dockerfile

This morning's claude moving target has forgotten how a Dockerfile
works, and it tries injecting direct shell into the file. Tell it
everything should start with RUN.

For #83
For #85