diff options
Diffstat (limited to '')
| -rwxr-xr-x | aux/containers/guix/with-container.sh | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/aux/containers/guix/with-container.sh b/aux/containers/guix/with-container.sh deleted file mode 100755 index bd7919a..0000000 --- a/aux/containers/guix/with-container.sh +++ /dev/null @@ -1,19 +0,0 @@ -#!/bin/sh -set -eu - -CHANNEL_REMOTE='https://euandre.org/git/package-repository' -CHANNEL_DIR="${XDG_CACHE_HOME:-$HOME/.cache}/euandreh-guix-channel" - -if [ ! -d "$CHANNEL_DIR" ]; then - git clone "$CHANNEL_REMOTE" "$CHANNEL_DIR" -fi - -git -C "$CHANNEL_DIR" pull - -ENV_CMD="guix environment -L $CHANNEL_DIR/src/ -m aux/containers/guix/manifest.scm" - -if [ -z "${1:-}" ]; then - $ENV_CMD -else - $ENV_CMD --pure -C -- sh -c "$@" -fi |