mysql-readline.patch

   1 --- mysql-8.0.20/client/mysql.cc~       2020-05-12 19:39:17.000000000 +0200
   2 +++ mysql-8.0.20/client/mysql.cc        2020-05-12 19:49:31.903300850 +0200
   3 @@ -79,6 +79,7 @@
   4  #define LOG_USER 0
   5  #else
   6  #include <readline.h>
   7 +#include <history.h>
   8  #include <syslog.h>
   9
  10  #define HAVE_READLINE
  11 @@ -1134,22 +1134,6 @@ static COMMANDS commands[] = {
  12  static const char *load_default_groups[] = {"mysql", "client", nullptr};
  13
  14  #ifdef HAVE_READLINE
  15 -/*
  16 - HIST_ENTRY is defined for libedit, but not for the real readline
  17 - Need to redefine it for real readline to find it
  18 -*/
  19 -#if !defined(HAVE_HIST_ENTRY)
  20 -typedef struct _hist_entry {
  21 -  const char *line;
  22 -  const char *data;
  23 -} HIST_ENTRY;
  24 -#endif
  25 -
  26 -extern "C" int add_history(const char *command); /* From readline directory */
  27 -extern "C" int read_history(const char *command);
  28 -extern "C" int write_history(const char *command);
  29 -extern "C" HIST_ENTRY *history_get(int num);
  30 -extern "C" int history_length;
  31  static int not_in_history(const char *line);
  32  static void initialize_readline(char *name);
  33  #endif /* HAVE_READLINE */