Move non-main files into util/

Author: tekknolagi

.github/workflows/ci.yml

@@ -123,6 +123,7 @@ jobs:
         tags: ${{ steps.meta.outputs.tags }}
         labels: ${{ steps.meta.outputs.labels }}
         target: main
+        file: util/Dockerfile
   deploy:
     runs-on: ubuntu-latest
     if: |

.github/workflows/stage.yml

@@ -27,5 +27,6 @@ jobs:
           name: scrapscript-pr-${{ github.event.number }}
           region: ewr
           org: personal
+          config: util
         env:
           FLY_API_TOKEN: ${{ secrets.FLY_API_DEPLOY_TOKEN }}

README.md

@@ -25,7 +25,7 @@ python3 scrapscript.py repl
 or with [Cosmopolitan](https://justine.lol/cosmopolitan/index.html):
 
 ```bash
-./build-com
+./util/build-com
 
 # With a file
 ./scrapscript.com eval examples/0_home/factorial.scrap

Dockerfile util/DockerfileDockerfile renamed to util/Dockerfile

@@ -1,8 +1,9 @@
 FROM caddy as web
 COPY . .
 RUN echo ":8000" > /etc/caddy/Caddyfile
-RUN echo "rewrite /repl /repl.html" >> /etc/caddy/Caddyfile
-RUN echo "rewrite /compilerepl /compilerepl.html" >> /etc/caddy/Caddyfile
+RUN echo "rewrite /repl /util/repl.html" >> /etc/caddy/Caddyfile
+RUN echo "rewrite /compilerepl /util/compilerepl.html" >> /etc/caddy/Caddyfile
+RUN echo "rewrite /style.css /util/style.css" >> /etc/caddy/Caddyfile
 RUN echo "log" >> /etc/caddy/Caddyfile
 RUN echo "file_server" >> /etc/caddy/Caddyfile