Jeremy Evans 14e1739ff3 [ruby/irb] Make save-history extension safe for concurrent use ... 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		2021-03-06 00:18:32 +09:00
..
change-ws.rb
history.rb
loader.rb
multi-irb.rb
save-history.rb
tracer.rb
use-loader.rb
workspaces.rb