This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
how_to_rebuild_mariadb_against_readline_in_debian [2023/08/23 08:05] abeverley |
how_to_rebuild_mariadb_against_readline_in_debian [2023/08/23 08:06] abeverley |
||
---|---|---|---|
Line 3: | Line 3: | ||
I've been frustrated with the use of editline (libedit) instead of readline that MariaDB is now built with in Debian 11. I have found editline to be buggy: its implementation of Ctrl-R and editing of wrapped lines do not work well, plus Ctrl-W not being mapping to delete a word by default is infuriating! | I've been frustrated with the use of editline (libedit) instead of readline that MariaDB is now built with in Debian 11. I have found editline to be buggy: its implementation of Ctrl-R and editing of wrapped lines do not work well, plus Ctrl-W not being mapping to delete a word by default is infuriating! | ||
- | As I understand it, Debian is no longer able to distribute MariaDB built against readline as the former is GPL2 and the latter GPL3, and apparently the 2 are incompatible for distribution. So I have written for [[how to rebuild MariaDB against readline in Debian]]. | + | As I understand it, Debian is no longer able to distribute MariaDB built against readline as the former is GPL2 and the latter GPL3, and apparently the 2 are incompatible for distribution. |
+ | |||
+ | The following instructions build a new Debian packages against readline: | ||
apt install build-essential devscripts libreadline-dev | apt install build-essential devscripts libreadline-dev |