Lines Matching refs:command
9 * shell_cmd() takes a shell command after %<character> substitutions. The
10 * command is executed by a /bin/sh child process, with standard input,
45 /* shell_cmd - execute shell command */
47 void shell_cmd(command)
48 char *command;
63 do_child(command);
71 /* do_child - exec command with { stdin, stdout, stderr } to /dev/null */
73 static void do_child(command)
74 char *command;
86 /* Set up new stdin, stdout, stderr, and exec the shell command. */
95 (void) execl("/bin/sh", "sh", "-c", command, (char *) 0);