From 10515725ffbb3382d78d80814bb07050ddc611b4 Mon Sep 17 00:00:00 2001 From: Jackson Delahunt Date: Tue, 31 Oct 2023 17:36:49 +1100 Subject: [PATCH] capitals to lower case --- docker/scripts/environment.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docker/scripts/environment.sh b/docker/scripts/environment.sh index 60ff8a4..e9812be 100755 --- a/docker/scripts/environment.sh +++ b/docker/scripts/environment.sh @@ -4,7 +4,7 @@ DESKTOP_ENVIRONMENT_USER=$USER DESKTOP_ENVIRONMENT_CONTAINER_IMAGE=desktop-environment DESKTOP_ENVIRONMENT_CONTAINER_NAME=${DESKTOP_ENVIRONMENT_CONTAINER_NAME-$DESKTOP_ENVIRONMENT_CONTAINER_IMAGE} DESKTOP_ENVIRONMENT_GITHUB_TOKEN=${DESKTOP_ENVIRONMENT_GITHUB_TOKEN-} -DESKTOP_ENVIRONMENT_GITHUB_USER=$(git --git-dir $REPO_ROOT/.git remote get-url origin | sed -E 's;.*github.com.(.*)/.*;\1;') +DESKTOP_ENVIRONMENT_GITHUB_USER=$(git --git-dir $REPO_ROOT/.git remote get-url origin | sed -E 's;.*github.com.(.*)/.*;\1;' | tr A-Z a-z) DESKTOP_ENVIRONMENT_REGISTRY=${DESKTOP_ENVIRONMENT_REGISTRY-$DESKTOP_ENVIRONMENT_GITHUB_USER} # Desktop environment repository information