New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
REPL :edit command bad interaction with certain useful editors #7682
Comments
Imported From: https://issues.scala-lang.org/browse/SI-7682?orig=1 |
@som-snytt said: 1441 val i = 8
1442 :hi
scala> :ed 1441-
Placing text in recent history.
scala> :hi
[snip]
1441 val i = 8
1442 :hi
1443 :ed 1441-
1444 val i = 8
1445 :hi
scala> :q
apm@mara:~/tmp$ echo $EDITOR
apm@mara:~/tmp$ Maybe the EDITOR isn't actually unset, but is garbage? etc. |
@sschaef said: I'll close the ticket but if you want you can take a look at the exception that occurs when EDITOR points to an editor that does not exist:
|
@som-snytt said: |
@som-snytt said: "Interacts badly," "Does not play well with others." |
@michaelpigg said: |
not sure what the cause is, but "good first issue" seems at least plausible. at least to figure out what's going on. |
Now, without If set |
That's the goal, yes. |
I don't see the
|
The feature was just a quick workaround for JLine2 limitations. It allowed using gedit to edit multiple lines of history. Closing in favor of upstream contributions to JLine3, as necessary. |
The new
:edit
command doesn't like console editors, as foretold.We will repair this usability deficit.
The text was updated successfully, but these errors were encountered: