23 ms·Yeah I heard of people grepping their history file. Ctrl+R is so much faster.by rjh29 4y agoYeah I heard of people grepping their history file. Ctrl+R is so much faster.