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