luke
/
sbt
mirror of https://github.com/sbt/sbt.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #6025 from eatkins/thin-client-spaces 

Replace %20 with space in sbt script name
This commit is contained in:
eugene yokota 2020-10-26 00:54:27 -04:00 committed by GitHub
parent a757f3e6e8 d255481ade
commit 7a7bc5d0f9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
main-command/src/main/scala/sbt/internal/client/NetworkClient.scala
View File

@ -1032,10 +1032,14 @@ object NetworkClient {
case a if a == noStdErr || a == noTab || a.startsWith(completions) =>
completionArguments += a
case a if a.startsWith("--sbt-script=") =>
sbtScript = a.split("--sbt-script=").lastOption.getOrElse(sbtScript)
sbtScript = a
.split("--sbt-script=")
.lastOption
.map(_.replaceAllLiterally("%20", " "))
.getOrElse(sbtScript)
case "--sbt-script" if i + 1 < sanitized.length =>
i += 1
sbtScript = sanitized(i)
sbtScript = sanitized(i).replaceAllLiterally("%20", " ")
case a if !a.startsWith("-") => commandArgs += a
case a @ SysProp(key, value) =>
System.setProperty(key, value)