diff options
| author | Jan Tuomi <jan@jantuomi.fi> | 2025-12-27 13:23:16 +0200 |
|---|---|---|
| committer | Jan Tuomi <jan@jantuomi.fi> | 2025-12-27 13:50:23 +0200 |
| commit | 8bd7c65290af536307914b200bdb11cd527c64fd (patch) | |
| tree | b26f137f1bdf3b139b898ee3b1e92b70a0f678b9 /build-and-deploy.sh | |
| parent | 3e56647cf96dee4f5009cf8a813668e23230eefc (diff) | |
Update style
Diffstat (limited to 'build-and-deploy.sh')
| -rwxr-xr-x | build-and-deploy.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/build-and-deploy.sh b/build-and-deploy.sh new file mode 100755 index 0000000..4f271c7 --- /dev/null +++ b/build-and-deploy.sh @@ -0,0 +1,8 @@ +#!/bin/bash + +set -euxo pipefail + +ulimit -n 8192 +./update-linklog-json.sh +csi -s main.scm +rsync -rvzP --delete --chown 80:80 out/* $RSYNC_TARGET |