Hacker GitHub

← All repos

thomasballinger/rlundo

View on GitHub ↗ ★ 163 Python

undo in any program that uses readline

9 mentions on Hacker News by 5 people: 2 stories, 7 comments · first 2015-05-31 · latest 2025-03-17

Mentions per year 9 mentions · busiest year 2018 (3)
20082026
  1. A crazy, but cool idea to implement this is using fork: https://github.com/thomasballinger/rlundo
  2. ▲ 23
    Rlundo: Undo in any program that uses readline
    story by davikr · 2022-06-14 · 1 comment
  3. …above, it forks on each invocation of readline to provide undo for interactive interpreters. https://github.com/thomasballinger/rlundo
    comment by thomasballinger · 2021-05-29 · in Unfork: The Inverse of Fork(2)
  4. I've played with prototypes of this by calling fork on IPython to take snapshots of interpreter state https://github.com/thomasballinger/rlundo/blob/master/readme... but if you can't serialize state fully, rerunning from the top (bpython's…
    comment by thomasballinger · 2020-01-28 · in What’s wrong with computational notebooks?
  5. …slowly I write about them in http://ballingt.com/interactive-interpreter-undo and implement this in https://github.com/thomasballinger/rlundo but as you say, eventually decided I had to implement an interpreter for which serialization of…
  6. …kernel is used in Jupyter) you could do something like this. We tried plugging in the rlundo tool https://github.com/thomasballinger/rlundo to IPython, it works ok, see http://ballingt.com/interactive-interpreter-undo/ for the long story.…
  7. …continously relying on the system provided copy on write mechanism - I have also found this: https://github.com/thomasballinger/rlundo - It overwrites readline library to get undo function in any REPL using it Other examples?
  8. …readline with version that forks on each input. Kill the forked child process and you have undo! https://github.com/thomasballinger/rlundo post: http://ballingt.com/interactive-interpreter-undo/#hacking-fo...
  9. ▲ 18
    Rlundo: Undo in any program that uses readline
    story by luu · 2015-05-31 · 0 comments