kotovalexarian-likes-github/ruby--ruby
1
0
Fork 0
mirror of https://github.com/ruby/ruby.git synced 2022-11-09 12:17:21 -05:00
Code Releases Activity
ruby--ruby/lib/irb/ext
History
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]

041ef53845
2021-03-06 00:18:32 +09:00
..
change-ws.rb [ruby/irb] Discard newlines at end of file 2020-08-28 11:05:18 +09:00
history.rb [ruby/irb] Discard newlines at end of file 2020-08-28 11:05:18 +09:00
loader.rb [ruby/irb] Fix inverse separator condition 2021-02-12 00:02:16 +09:00
multi-irb.rb Remove e2mmap dependency 2019-11-25 05:38:09 +09:00
save-history.rb [ruby/irb] Make save-history extension safe for concurrent use 2021-03-06 00:18:32 +09:00
tracer.rb [ruby/irb] Discard newlines at end of file 2020-08-28 11:05:18 +09:00
use-loader.rb [ruby/irb] Discard newlines at end of file 2020-08-28 11:05:18 +09:00
workspaces.rb [ruby/irb] Discard newlines at end of file 2020-08-28 11:05:18 +09:00