# File lib/readline.rb, line 373 def self.push(*args) args.each do |str| RbReadline.add_history(str) end end