static char **complete_command_name (const char *, int, int);
static char **dont_complete (const char *, int, int);
static char *command_generator (const char *text, int state);
-
-static const bool have_readline = true;
-
-#else
-static const bool have_readline = false;
-static int rl_end;
#endif
#include <sys/time.h>
#include <sys/types.h>
-#include <assert.h>
#include <errno.h>
#include <stdint.h>
#include <stdlib.h>
#include "libpspp/version.h"
#include "output/driver.h"
#include "output/journal.h"
-#include "ui/terminal/terminal.h"
#include "gl/minmax.h"
#include "gl/xalloc.h"
}
r->offset = 0;
r->eof = ss_is_empty (r->s);
-
- /* Check whether the size of the window has changed, so that
- the output drivers can adjust their settings as needed. We
- only do this for the first line of a command, as it's
- possible that the output drivers are actually in use
- afterward, and we don't want to confuse them in the middle
- of output. */
- if (prompt_style == PROMPT_FIRST)
- terminal_check_size ();
}
chunk = MIN (n, r->s.length - r->offset);
}
+#if HAVE_READLINE
static int pfd[2];
static bool sigint_received ;
-
/*
A function similar to getc from stdio.
However this one may be interrupted by SIGINT.
return c;
}
-
-
-#if HAVE_READLINE
-
static void
handler (int sig)
{