Save REPL history after an exception
This commit is contained in:
parent
0a14410911
commit
2f340f8049
2
NEWS
2
NEWS
@ -20,6 +20,8 @@ Changes from 0.13.0
|
|||||||
* String literals should no longer be interpreted as special forms or macros
|
* String literals should no longer be interpreted as special forms or macros
|
||||||
* Tag macros (née sharp macros) whose names begin with `!` are no longer
|
* Tag macros (née sharp macros) whose names begin with `!` are no longer
|
||||||
mistaken for shebang lines
|
mistaken for shebang lines
|
||||||
|
* Fixed a bug where REPL history wasn't saved if you quit the REPL with
|
||||||
|
`(quit)` or `(exit)`
|
||||||
|
|
||||||
Changes from 0.12.1
|
Changes from 0.12.1
|
||||||
|
|
||||||
|
@ -124,7 +124,8 @@ def completion(completer=None):
|
|||||||
|
|
||||||
readline.parse_and_bind(readline_bind)
|
readline.parse_and_bind(readline_bind)
|
||||||
|
|
||||||
|
try:
|
||||||
yield
|
yield
|
||||||
|
finally:
|
||||||
if docomplete:
|
if docomplete:
|
||||||
readline.write_history_file(history)
|
readline.write_history_file(history)
|
||||||
|
Loading…
Reference in New Issue
Block a user