New shell: We forgot to add to the readline history

sbrl / Pepperminty-Wiki

A wiki in a box

https://peppermint.mooncarrot.space/

Mozilla Public License 2.0

178 stars 20 forks source link

Closed sbrl closed 4 years ago

sbrl commented 4 years ago

We forgot to add to the readline history. We did this in the bktreetest.php test, but forgot in the actual shell itself.....!

sbrl commented 4 years ago

Done it would seem - it's just a simple readline_add_history($next_line) call