aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEuAndreh <eu@euandre.org>2020-12-02 13:34:10 -0300
committerEuAndreh <eu@euandre.org>2020-12-02 13:34:28 -0300
commit6424254363d9c5d68d942eb00d0acc3496b1a8cf (patch)
treecb1892623a5d76eb805907cf8371cc1ad45a8453
parentci-build.sh: Append the note instead of force replacing it. (diff)
downloadserver-6424254363d9c5d68d942eb00d0acc3496b1a8cf.tar.gz
server-6424254363d9c5d68d942eb00d0acc3496b1a8cf.tar.xz
Rename container -> scripts/with-container.sh
-rwxr-xr-xscripts/ci-build.sh4
-rwxr-xr-xscripts/with-container.sh (renamed from container)0
2 files changed, 2 insertions, 2 deletions
diff --git a/scripts/ci-build.sh b/scripts/ci-build.sh
index 2da3a63..f3c86d2 100755
--- a/scripts/ci-build.sh
+++ b/scripts/ci-build.sh
@@ -36,5 +36,5 @@ pushd "$CLONE"
git config --global user.email git@euandre.org
git config --global user.name 'EuAndreh CI'
-./container make check site
-./container make publish
+./scripts/with-container.sh make check site
+./scripts/with-container.sh make publish
diff --git a/container b/scripts/with-container.sh
index 4aa304d..4aa304d 100755
--- a/container
+++ b/scripts/with-container.sh