Você já tentou executar rlwrap -a no shell interativo do PHP? O rlwrap corrige muitos desses tipos de problemas para mim em vários REPLs.
No shell interativo, a chave PHP Delete não está funcionando e produz ~ . Alguém sabe como fazer essa chave funcionar? Eu estou usando o Ubuntu 13.04 se isso importa.
Você já tentou executar rlwrap -a no shell interativo do PHP? O rlwrap corrige muitos desses tipos de problemas para mim em vários REPLs.
Tags gnome-terminal php shell