diff options
| author | EuAndreh <eu@euandre.org> | 2022-11-14 18:39:14 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2022-11-14 18:39:14 -0300 |
| commit | b20df02100b4806c1a9e1992aff240b4328b7d16 (patch) | |
| tree | e14fd3029e8c1f8d3f78f50f28ced7a28a153da9 /aux/containers | |
| parent | Remove old config files, starting anew for toph (diff) | |
| download | toph-b20df02100b4806c1a9e1992aff240b4328b7d16.tar.gz toph-b20df02100b4806c1a9e1992aff240b4328b7d16.tar.xz | |
rm -rf aux/
Diffstat (limited to 'aux/containers')
| -rw-r--r-- | aux/containers/guix/manifest.scm | 24 | ||||
| -rwxr-xr-x | aux/containers/guix/with-container.sh | 19 |
2 files changed, 0 insertions, 43 deletions
diff --git a/aux/containers/guix/manifest.scm b/aux/containers/guix/manifest.scm deleted file mode 100644 index 1870255..0000000 --- a/aux/containers/guix/manifest.scm +++ /dev/null @@ -1,24 +0,0 @@ -(specifications->manifest - (map symbol->string - '(bash - coreutils - findutils - diffutils - grep - sed - git - tar - gawk - make - makefile2graph - graphviz - shellcheck - pandoc - gettext - po4a-text - mdpo-patched - hunspell - hunspell-dict-en-utf8 - hunspell-dict-pt-utf8 - hunspell-dict-fr-utf8 - hunspell-dict-eo-utf8))) diff --git a/aux/containers/guix/with-container.sh b/aux/containers/guix/with-container.sh deleted file mode 100755 index fcbb8b5..0000000 --- a/aux/containers/guix/with-container.sh +++ /dev/null @@ -1,19 +0,0 @@ -#!/bin/sh -set -eu - -CHANNEL_REMOTE='https://euandreh.xyz/package-repository.git' -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 |