5 static char buf
[BUFLEN
];
8 readline(const char *prompt
)
13 cprintf("%s", prompt
);
16 echoing
= iscons(0) > 0;
20 cprintf("read error: %e\n", c
);
22 } else if ((c
== '\b' || c
== '\x7f') && i
> 0) {
26 } else if (c
>= ' ' && i
< BUFLEN
-1) {
30 } else if (c
== '\n' || c
== '\r') {