30 |
// echo first prompt |
// echo first prompt |
31 |
fprintf(stdout, "%s", prompt); |
fprintf(stdout, "%s", prompt); |
32 |
while (fgets(command, MAX_COMMAND_LENGTH, fp)) { |
while (fgets(command, MAX_COMMAND_LENGTH, fp)) { |
33 |
int command_length; |
char *command_ptr = command; |
34 |
|
|
35 |
// strip newlines |
// strip newlines |
36 |
chomp(command); |
chomp(command_ptr); |
37 |
|
|
38 |
|
// trim whitespace |
39 |
|
trim(&command_ptr); |
40 |
|
|
41 |
// ... and action |
// ... and action |
42 |
dispatch_command(command); |
dispatch_command(command_ptr); |
43 |
|
|
44 |
// echo prompt after executing shell command |
// echo prompt after executing shell command |
45 |
fprintf(stdout, "%s", prompt); |
fprintf(stdout, "%s", prompt); |