From 6b58cca83628d797d53d7fd43a56a92f15be9f9f Mon Sep 17 00:00:00 2001 From: Jackson Date: Sun, 3 Mar 2019 10:25:55 +0000 Subject: [PATCH] useless --- docker/scripts/shell.sh | 10 ---------- 1 file changed, 10 deletions(-) delete mode 100755 docker/scripts/shell.sh diff --git a/docker/scripts/shell.sh b/docker/scripts/shell.sh deleted file mode 100755 index b121d40..0000000 --- a/docker/scripts/shell.sh +++ /dev/null @@ -1,10 +0,0 @@ -REPO_ROOT=$(dirname $(readlink -f $0))/../.. - -# Export desktop environment shell configuration -export $($REPO_ROOT/docker/scripts/environment.sh) - -docker exec \ - --interactive \ - --tty \ - --user $DESKTOP_ENVIRONMENT_USER \ - $DESKTOP_ENVIRONMENT_CONTAINER_NAME zsh --login