- }
-
- return ret;
-}
-
-static int repl_noninteractive(void)
-{
- int rc, ret = 0, saved_errno;
- char *line = NULL;
- size_t n;
-
- while (getline(&line, &n, stdin) >= 0) {
- char *c = strchr(line, '\n');
- if (c)
- *c = '\0';
-
- rc = run_command(line, false);