diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/ci-build.sh | 4 | ||||
| -rwxr-xr-x | scripts/with-container.sh | 3 |
2 files changed, 5 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/scripts/with-container.sh b/scripts/with-container.sh new file mode 100755 index 0000000..4aa304d --- /dev/null +++ b/scripts/with-container.sh @@ -0,0 +1,3 @@ +#!/usr/bin/env bash + +guix time-machine -C guix/channels.scm -- environment --pure -C -m guix/manifest.scm -- "$@" |