this repo has no description

Move non-main files into util/ (#238)

authored by bernsteinbear.com and committed by

GitHub 20ada109 0e0c1038

+6 -3
+1
.github/workflows/ci.yml
··· 123 123 tags: ${{ steps.meta.outputs.tags }} 124 124 labels: ${{ steps.meta.outputs.labels }} 125 125 target: main 126 + file: util/Dockerfile 126 127 deploy: 127 128 runs-on: ubuntu-latest 128 129 if: |
+3 -2
Dockerfile util/Dockerfile
··· 1 1 FROM caddy as web 2 2 COPY . . 3 3 RUN echo ":8000" > /etc/caddy/Caddyfile 4 - RUN echo "rewrite /repl /repl.html" >> /etc/caddy/Caddyfile 5 - RUN echo "rewrite /compilerepl /compilerepl.html" >> /etc/caddy/Caddyfile 4 + RUN echo "rewrite /repl /util/repl.html" >> /etc/caddy/Caddyfile 5 + RUN echo "rewrite /compilerepl /util/compilerepl.html" >> /etc/caddy/Caddyfile 6 + RUN echo "rewrite /style.css /util/style.css" >> /etc/caddy/Caddyfile 6 7 RUN echo "log" >> /etc/caddy/Caddyfile 7 8 RUN echo "file_server" >> /etc/caddy/Caddyfile 8 9
+1 -1
README.md
··· 25 25 or with [Cosmopolitan](https://justine.lol/cosmopolitan/index.html): 26 26 27 27 ```bash 28 - ./build-com 28 + ./util/build-com 29 29 30 30 # With a file 31 31 ./scrapscript.com eval examples/0_home/factorial.scrap
build-com util/build-com
compilerepl.html util/compilerepl.html
+1
fly.toml
··· 8 8 9 9 [build] 10 10 build-target = "web" 11 + dockerfile = "util/Dockerfile" 11 12 12 13 [http_service] 13 14 internal_port = 8000
index.html util/index.html
repl.html util/repl.html
scrapscript.js util/scrapscript.js
style.css util/style.css