search

scala / bug

Scala 2 bug reports only. Please, no questions — proper bug reports only.
https://scala-lang.org
230 stars 21 forks source link

Upgrade REPL to use JLine 3.25.x #12933

Closed SethTisue closed 3 months ago

SethTisue commented 5 months ago

https://github.com/jline/jline3/releases/tag/jline-parent-3.25.0

I'm not comfortable taking the upgrade so close to 2.13.13 release time, but let's take it for 2.13.14.

(and I should check Scala 3 too)

lrytz commented 5 months ago

Merge Jansi library into JLine by @gnodet in https://github.com/jline/jline3/pull/871

Need to check if that comes with a change to released artifacts that we have to adapt to.

SethTisue commented 4 months ago

3.25.1 is out: https://github.com/jline/jline3/releases/tag/jline-parent-3.25.1

But I'd still be more comfortable waiting for 2.13.14.

SethTisue commented 4 months ago

Need to check if that comes with a change to released artifacts that we have to adapt to

I think not, since we're using the JLine uber-jar.

SethTisue commented 4 months ago

needed to fix #12957