X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fterminal-reader.c;h=3225678e8707b28a0dba95064d93fae4abf6b6f0;hb=af8622f11c920a03269ad489617d86bfd568b287;hp=b8c71447ce5c7563c6bde942f7bf9bde18767723;hpb=c193302d89917211fc7cff16203a1787a295ee9a;p=pspp diff --git a/src/ui/terminal/terminal-reader.c b/src/ui/terminal/terminal-reader.c index b8c71447ce..3225678e87 100644 --- a/src/ui/terminal/terminal-reader.c +++ b/src/ui/terminal/terminal-reader.c @@ -22,6 +22,7 @@ #include #include +#include "libpspp/str.h" #if HAVE_READLINE #include @@ -41,7 +42,6 @@ static char *command_generator (const char *text, int state); #include #include -#include #include #include #include @@ -57,7 +57,6 @@ static char *command_generator (const char *text, int state); #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" @@ -159,15 +158,6 @@ terminal_reader_read (struct lex_reader *r_, char *buf, size_t n, } 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); @@ -199,14 +189,12 @@ static struct lex_reader_class terminal_reader_class = struct lex_reader * terminal_reader_create (void) { - struct terminal_reader *r; - if (!n_terminal_readers++) readline_init (); - r = xzalloc (sizeof *r); + struct terminal_reader *r = XZALLOC (struct terminal_reader); r->reader.class = &terminal_reader_class; - r->reader.syntax = LEX_SYNTAX_INTERACTIVE; + r->reader.syntax = SEG_MODE_INTERACTIVE; r->reader.error = LEX_ERROR_TERMINAL; r->reader.file_name = NULL; r->s = ss_empty (); @@ -239,6 +227,9 @@ readline_prompt (enum prompt_style style) case PROMPT_DO_REPEAT: return "DO REPEAT> "; + + case PROMPT_DEFINE: + return "DEFINE> "; } NOT_REACHED (); @@ -275,13 +266,13 @@ interruptible_getc (FILE *fp) max_fd = (max_fd > fd) ? max_fd : fd; FD_SET (fd, &what); ret = select (max_fd + 1, &what, NULL, NULL, &timeout); - if ( ret == -1 && errno != EINTR) + if (ret == -1 && errno != EINTR) { perror ("Select failed"); continue; } - if (ret > 0 ) + if (ret > 0) { if (FD_ISSET (pfd[0], &what)) { @@ -313,10 +304,10 @@ handler (int sig) static void readline_init (void) { - if ( 0 != pipe2 (pfd, O_NONBLOCK)) + if (0 != pipe2 (pfd, O_NONBLOCK)) perror ("Cannot create pipe"); - if ( SIG_ERR == signal (SIGINT, handler)) + if (SIG_ERR == signal (SIGINT, handler)) perror ("Cannot add signal handler"); rl_catch_signals = 0; @@ -338,7 +329,7 @@ readline_init (void) static void readline_done (void) { - if (history_file != NULL && false == settings_get_testing_mode () ) + if (history_file != NULL && false == settings_get_testing_mode ()) write_history (history_file); clear_history (); free (history_file); @@ -419,14 +410,26 @@ command_generator (const char *text, int state) if (state == 0) cmd = NULL; name = cmd_complete (text, &cmd); - return name ? xstrdup (name) : NULL; + return xstrdup_if_nonnull (name); } #else /* !HAVE_READLINE */ +static const char * the_prompt; + +static void +handler (int sig) +{ + if (the_prompt) + fputs (the_prompt, stdout); + fflush (stdout); +} + static void readline_init (void) { + if (SIG_ERR == signal (SIGINT, handler)) + perror ("Cannot add signal handler"); } static void @@ -434,19 +437,22 @@ readline_done (void) { } +/* Prompt the user for a line of input and return it in LINE. + Returns true if the LINE should be considered valid, false otherwise. + */ static bool readline_read (struct substring *line, enum prompt_style style) { struct string string; - const char *prompt = readline_prompt (style); + the_prompt = readline_prompt (style); - fputs (prompt, stdout); + fputs (the_prompt, stdout); fflush (stdout); ds_init_empty (&string); ds_read_line (&string, stdin, SIZE_MAX); *line = string.ss; - return false; + return true; } #endif /* !HAVE_READLINE */