diff options
Diffstat (limited to 'aux/guix/with-container.sh')
| -rwxr-xr-x | aux/guix/with-container.sh | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/aux/guix/with-container.sh b/aux/guix/with-container.sh deleted file mode 100755 index 1b7c004..0000000 --- a/aux/guix/with-container.sh +++ /dev/null @@ -1,11 +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 -else - guix time-machine --fallback -C aux/guix/pinned-channels.scm -- \ - environment --fallback -m aux/guix/manifest.scm --pure -C \ - -- sh -c "$@" -fi |