diff options
author | EuAndreh <eu@euandre.org> | 2022-03-20 13:54:18 -0300 |
---|---|---|
committer | EuAndreh <eu@euandre.org> | 2022-03-20 13:54:18 -0300 |
commit | e98f7deaf3f1ef70be1bdde354248c109e240868 (patch) | |
tree | abfb4357cb115f647b82abbf0160e11af55bc99a /aux/ci/git-post-receive.sh | |
parent | TODOs.md: Add #td-fa5c767a-c63d-69dd-1fb4-1425ed7b219e (diff) | |
download | server-e98f7deaf3f1ef70be1bdde354248c109e240868.tar.gz server-e98f7deaf3f1ef70be1bdde354248c109e240868.tar.xz |
Use `/opt` over `/srv`
Diffstat (limited to 'aux/ci/git-post-receive.sh')
-rwxr-xr-x | aux/ci/git-post-receive.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/aux/ci/git-post-receive.sh b/aux/ci/git-post-receive.sh index 92bba73..f813259 100755 --- a/aux/ci/git-post-receive.sh +++ b/aux/ci/git-post-receive.sh @@ -18,5 +18,5 @@ LOGS_DIR="/opt/ci/$PROJECT/logs" sh "/opt/ci/$PROJECT/ci-build.sh" "$PROJECT" "$LOGS_DIR" "$SHA" ||: echo 'To retrigger the build, run:' -echo "cd /srv/http/$PROJECT.git/" -echo "sh /opt/ci/$PROJECT/ci-build.sh" "$PROJECT" "$LOGS_DIR" "$SHA" +echo "cd /opt/www/$TLD/git/repos/$PROJECT.git/" +echo "sh /opt/www/$TLD/git/ci/$PROJECT/ci-build.sh" "$PROJECT" "$LOGS_DIR" "$SHA" |