From f502ed0f5f5307816bb94055fdd9f48e2fe7b6c4 Mon Sep 17 00:00:00 2001 From: EuAndreh Date: Sun, 29 Nov 2020 00:38:42 -0300 Subject: Move shell.sh to container --- container | 3 +++ shell.sh | 5 ----- 2 files changed, 3 insertions(+), 5 deletions(-) create mode 100755 container delete mode 100755 shell.sh diff --git a/container b/container new file mode 100755 index 0000000..4aa304d --- /dev/null +++ b/container @@ -0,0 +1,3 @@ +#!/usr/bin/env bash + +guix time-machine -C guix/channels.scm -- environment --pure -C -m guix/manifest.scm -- "$@" diff --git a/shell.sh b/shell.sh deleted file mode 100755 index 99f67b8..0000000 --- a/shell.sh +++ /dev/null @@ -1,5 +0,0 @@ -#!/usr/bin/env bash -set -Eeuo pipefail -cd "$(dirname "${BASH_SOURCE[0]}")" - -guix time-machine -C guix/channels.scm -- environment -m guix/manifest.scm -- cgit v1.2.3