diff options
author | EuAndreh <eu@euandre.org> | 2020-12-02 15:41:18 -0300 |
---|---|---|
committer | EuAndreh <eu@euandre.org> | 2020-12-02 15:41:54 -0300 |
commit | b3ee98bbb77d4e6d8ac3f0e0507cdb443b11271b (patch) | |
tree | 761c391c615be51364bf8be2592a3e7ddf10afc2 /scripts/ci-build.sh | |
parent | with-container.sh: Call $@ with sh -c (diff) | |
download | server-b3ee98bbb77d4e6d8ac3f0e0507cdb443b11271b.tar.gz server-b3ee98bbb77d4e6d8ac3f0e0507cdb443b11271b.tar.xz |
Build and publish TODOs.org file
Diffstat (limited to 'scripts/ci-build.sh')
-rwxr-xr-x | scripts/ci-build.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/ci-build.sh b/scripts/ci-build.sh index 9b89160..f8e3aa6 100755 --- a/scripts/ci-build.sh +++ b/scripts/ci-build.sh @@ -36,4 +36,5 @@ pushd "$CLONE" git config --global user.email git@euandre.org git config --global user.name 'EuAndreh CI' -./scripts/with-container.sh 'make check publish' +./scripts/with-container.sh 'make check public' +mv public/ /srv/http/vps/ |