If you missed that argument when initially installing php5 and want to add it after the fact, this is all you need:
sudo apt-get install php5-readline
Установка
Для использования модуля вам нужно скомпилировать CGI или CLI версию PHP с поддержкой readline. Необходимо сконфигурировать PHP с опцией --with-readline[=DIR]. Если же вы хотите использовать альтернативную библиотеку libedit, то конфигурировать надо с опцией --with-libedit[=DIR].
В Windows модуль доступен с версии PHP 7.1.0.
add a note
User Contributed Notes 2 notes
kevin_tm at yahoo dot com ¶
8 years ago
rs at income dot cz ¶
9 years ago
Use dotdeb. It's like 1 minute work.
Follow https://www.dotdeb.org/instructions/
Do only points 1,3,4 (omit 2)
and then
sudo apt-get install php5-readline
