1 /* Copyright (c) 1985 Ceriel J.H. Jacobs */
15 * Reads commands given by the user. The command is returned.
20 * void shellescape(command)
21 * char *command; The shell command to be executed
23 * Expands '%' and '!' in the command "command" to the current filename
24 * and the previous command respectively, and then executes "command".
29 * char * readline(prompt)
30 * char *prompt; Prompt given to the user
32 * Gives a prompt "prompt" and reads a line to be typed in by the user.
33 * A pointer to this line is returned. Space for this line is static.