In the interactive shell oh PHP Delete key is not working and produce ~ instead. Anyone know how to get this key to work? I am using Ubuntu 13.04 if this does matter.
Delete key doesn't work properly in PHP interactive shell
shell;php;gnome terminal
Have you tried running rlwrap -a around the PHP interactive shell? rlwrap fixes many of these types of problems for me in various REPLs.