version 1.4, 1997/07/25 22:13:24 |
version 1.5, 1998/04/25 04:30:38 |
|
|
(void)fprintf(stderr, "Terminal type? [%s] ", dflt); |
(void)fprintf(stderr, "Terminal type? [%s] ", dflt); |
else |
else |
(void)fprintf(stderr, "Terminal type? "); |
(void)fprintf(stderr, "Terminal type? "); |
(void)fflush(stderr); |
|
|
|
if (fgets(answer, sizeof(answer), stdin) == NULL) { |
if (fgets(answer, sizeof(answer), stdin) == NULL) { |
if (dflt == NULL) { |
if (dflt == NULL) { |
(void)fprintf(stderr, "\n"); |
(void)putc('\n', stderr); |
exit(1); |
exit(1); |
} |
} |
return (dflt); |
return (dflt); |