From eaab12257662c3fbb7ce906b24bc6185491c936e Mon Sep 17 00:00:00 2001
From: Eugene Yokota <eed3si9n@gmail.com>
Date: Thu, 22 Apr 2021 23:42:46 -0400
Subject: [PATCH] Support alternative sbt-launch repo

Problem
-------
Not everyone has direct access to Maven Central.

Solution
--------
Provide an env variable to override the base URL for sbt launcher.
---
 sbt | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/sbt b/sbt
index c0b612695..274fba336 100755
--- a/sbt
+++ b/sbt
@@ -98,7 +98,11 @@ jar_file () {
 }
 
 jar_url () {
-  echo "https://repo1.maven.org/maven2/org/scala-sbt/sbt-launch/$1/sbt-launch-$1.jar"
+  local repo_base="$SBT_LAUNCH_REPO"
+  if [[ $repo_base == "" ]]; then
+    repo_base="https://repo1.maven.org/maven2"
+  fi
+  echo "$repo_base/org/scala-sbt/sbt-launch/$1/sbt-launch-$1.jar"
 }
 
 download_url () {