From 1a3208d43f837768e18219ca4e79fe31bf748865 Mon Sep 17 00:00:00 2001 From: EuAndreh Date: Fri, 31 Mar 2023 20:12:17 -0300 Subject: Revamp CI: simpler variant of the same functionality --- aux/guix/with-container.sh | 17 ----------------- 1 file changed, 17 deletions(-) delete mode 100755 aux/guix/with-container.sh (limited to 'aux/guix/with-container.sh') diff --git a/aux/guix/with-container.sh b/aux/guix/with-container.sh deleted file mode 100755 index 6e19691..0000000 --- a/aux/guix/with-container.sh +++ /dev/null @@ -1,17 +0,0 @@ -#!/bin/sh -set -eu - -if [ -z "${1:-}" ]; then - guix time-machine --fallback -C aux/guix/pinned-channels.scm -- \ - environment --fallback -m aux/guix/manifest.scm -elif [ "$1" = '-p' ]; then - guix time-machine --fallback -C aux/guix/pinned-channels.scm -- \ - environment --fallback -m aux/guix/manifest.scm --pure -C -elif [ "$1" = '-C' ]; then - guix time-machine --fallback -C aux/guix/pinned-channels.scm -- \ - pack -f docker -S/bin=bin -m aux/guix/manifest.scm -v3 -else - guix time-machine --fallback -C aux/guix/pinned-channels.scm -- \ - environment --fallback -m aux/guix/manifest.scm --pure -C \ - -- sh -c "$@" -fi -- cgit v1.2.3