language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-30 23:31:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Improve build-dev-local.sh

Browse source
This commit is contained in:
Richard Feldman 2023-10-21 10:09:26 -04:00
parent 12f77d94a0
commit 4c06d0357a
No known key found for this signature in database
GPG key ID: F1F21AA5B1D9E43B
1 changed files with 4 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

3
www/wip_new_website/build-dev-local.sh Normal file → Executable file
View file

@ -5,10 +5,9 @@
# NOTE run `bash www/build.sh` to cache local copy of fonts, and repl assets etc # NOTE run `bash www/build.sh` to cache local copy of fonts, and repl assets etc
rm -rf dist/ rm -rf dist/
cp -r ../build dist/
mkdir -p dist/wip mkdir -p dist/wip
cp -r ../build/wip/* dist/wip/
roc run main.roc -- content/ dist/wip/ roc run main.roc -- content/ dist/wip/
cp -r ../build/fonts/ dist/fonts/
cp -r static/* dist/wip/ cp -r static/* dist/wip/
simple-http-server -p 8080 --nocache --index -- dist/ simple-http-server -p 8080 --nocache --index -- dist/