Use a history file with readline, so that readline history is carried over from one...
authorTim Starling <tstarling@users.mediawiki.org>
Tue, 22 Jul 2008 21:47:53 +0000 (21:47 +0000)
committerTim Starling <tstarling@users.mediawiki.org>
Tue, 22 Jul 2008 21:47:53 +0000 (21:47 +0000)
commit640c1d398111952d9219777ff6de0141fd77a2c6
treeb2d4cf5596e0215469120b29a1431f121d8f39ce
parent2c0d815fa32aec728c2aa165d9bd75dd3f4e0ee4
Use a history file with readline, so that readline history is carried over from one invocation to another
maintenance/eval.php