mirror of
https://github.com/ruby/ruby.git
synced 2022-11-09 12:17:21 -05:00
14e1739ff3
This makes the save-history extension check for modifications to the history file before saving it. If the history file was modified after the history was loaded and before it was saved, append only the new history lines to the history file. This can result in more lines in the history file than SAVE_HISTORY allows. However, that will be fixed the next time irb is run and the history is saved. Fixes [Bug #13654] https://github.com/ruby/irb/commit/041ef53845 |
||
|---|---|---|
| .. | ||
| change-ws.rb | ||
| history.rb | ||
| loader.rb | ||
| multi-irb.rb | ||
| save-history.rb | ||
| tracer.rb | ||
| use-loader.rb | ||
| workspaces.rb | ||