90c89fba29dbb940451c6f451d74c77c63eed93a
[oweals/busybox.git] / shell / hush.c
1 /* vi: set sw=4 ts=4: */
2 /*
3  * sh.c -- a prototype Bourne shell grammar parser
4  *      Intended to follow the original Thompson and Ritchie
5  *      "small and simple is beautiful" philosophy, which
6  *      incidentally is a good match to today's BusyBox.
7  *
8  * Copyright (C) 2000,2001  Larry Doolittle  <larry@doolittle.boa.org>
9  *
10  * Credits:
11  *      The parser routines proper are all original material, first
12  *      written Dec 2000 and Jan 2001 by Larry Doolittle.  The
13  *      execution engine, the builtins, and much of the underlying
14  *      support has been adapted from busybox-0.49pre's lash, which is
15  *      Copyright (C) 1999-2004 by Erik Andersen <andersen@codepoet.org>
16  *      written by Erik Andersen <andersen@codepoet.org>.  That, in turn,
17  *      is based in part on ladsh.c, by Michael K. Johnson and Erik W.
18  *      Troan, which they placed in the public domain.  I don't know
19  *      how much of the Johnson/Troan code has survived the repeated
20  *      rewrites.
21  *
22  * Other credits:
23  *      b_addchr() derived from similar w_addchar function in glibc-2.2
24  *      setup_redirect(), redirect_opt_num(), and big chunks of main()
25  *      and many builtins derived from contributions by Erik Andersen
26  *      miscellaneous bugfixes from Matt Kraai
27  *
28  * There are two big (and related) architecture differences between
29  * this parser and the lash parser.  One is that this version is
30  * actually designed from the ground up to understand nearly all
31  * of the Bourne grammar.  The second, consequential change is that
32  * the parser and input reader have been turned inside out.  Now,
33  * the parser is in control, and asks for input as needed.  The old
34  * way had the input reader in control, and it asked for parsing to
35  * take place as needed.  The new way makes it much easier to properly
36  * handle the recursion implicit in the various substitutions, especially
37  * across continuation lines.
38  *
39  * Bash grammar not implemented: (how many of these were in original sh?)
40  *      $@ (those sure look like weird quoting rules)
41  *      $_
42  *      ! negation operator for pipes
43  *      &> and >& redirection of stdout+stderr
44  *      Brace Expansion
45  *      Tilde Expansion
46  *      fancy forms of Parameter Expansion
47  *      aliases
48  *      Arithmetic Expansion
49  *      <(list) and >(list) Process Substitution
50  *      reserved words: case, esac, select, function
51  *      Here Documents ( << word )
52  *      Functions
53  * Major bugs:
54  *      job handling woefully incomplete and buggy (improved --vda)
55  *      reserved word execution woefully incomplete and buggy
56  * to-do:
57  *      port selected bugfixes from post-0.49 busybox lash - done?
58  *      finish implementing reserved words: for, while, until, do, done
59  *      change { and } from special chars to reserved words
60  *      builtins: break, continue, eval, return, set, trap, ulimit
61  *      test magic exec
62  *      handle children going into background
63  *      clean up recognition of null pipes
64  *      check setting of global_argc and global_argv
65  *      control-C handling, probably with longjmp
66  *      follow IFS rules more precisely, including update semantics
67  *      figure out what to do with backslash-newline
68  *      explain why we use signal instead of sigaction
69  *      propagate syntax errors, die on resource errors?
70  *      continuation lines, both explicit and implicit - done?
71  *      memory leak finding and plugging - done?
72  *      more testing, especially quoting rules and redirection
73  *      document how quoting rules not precisely followed for variable assignments
74  *      maybe change charmap[] to use 2-bit entries
75  *      (eventually) remove all the printf's
76  *
77  * Licensed under the GPL v2 or later, see the file LICENSE in this tarball.
78  */
79
80 #include "busybox.h"
81 #include <glob.h>      /* glob, of course */
82 #include <getopt.h>    /* should be pretty obvious */
83 /* #include <dmalloc.h> */
84 extern char **environ; /* This is in <unistd.h>, but protected with __USE_GNU */
85
86
87 /* If you comment out one of these below, it will be #defined later
88  * to perform debug printfs to stderr: */
89 #define debug_printf(...)        do {} while (0)
90 /* Finer-grained debug switches */
91 #define debug_printf_parse(...)  do {} while (0)
92 #define debug_print_tree(a, b)   do {} while (0)
93 #define debug_printf_exec(...)   do {} while (0)
94 #define debug_printf_jobs(...)   do {} while (0)
95 #define debug_printf_expand(...) do {} while (0)
96 #define debug_printf_clean(...)  do {} while (0)
97
98 #ifndef debug_printf
99 #define debug_printf(...) fprintf(stderr, __VA_ARGS__)
100 #endif
101
102 #ifndef debug_printf_parse
103 #define debug_printf_parse(...) fprintf(stderr, __VA_ARGS__)
104 #endif
105
106 #ifndef debug_printf_exec
107 #define debug_printf_exec(...) fprintf(stderr, __VA_ARGS__)
108 #endif
109
110 #ifndef debug_printf_jobs
111 #define debug_printf_jobs(...) fprintf(stderr, __VA_ARGS__)
112 #define DEBUG_SHELL_JOBS 1
113 #endif
114
115 #ifndef debug_printf_expand
116 #define debug_printf_expand(...) fprintf(stderr, __VA_ARGS__)
117 #define DEBUG_EXPAND 1
118 #endif
119
120 #ifndef debug_printf_clean
121 /* broken, of course, but OK for testing */
122 static const char *indenter(int i)
123 {
124         static const char blanks[] = "                                    ";
125         return &blanks[sizeof(blanks) - i - 1];
126 }
127 #define debug_printf_clean(...) fprintf(stderr, __VA_ARGS__)
128 #define DEBUG_CLEAN 1
129 #endif
130
131
132 #if !ENABLE_HUSH_INTERACTIVE
133 #undef ENABLE_FEATURE_EDITING
134 #define ENABLE_FEATURE_EDITING 0
135 #undef ENABLE_FEATURE_EDITING_FANCY_PROMPT
136 #define ENABLE_FEATURE_EDITING_FANCY_PROMPT 0
137 #endif
138
139 #define SPECIAL_VAR_SYMBOL   3
140
141 #define PARSEFLAG_EXIT_FROM_LOOP 1
142 #define PARSEFLAG_SEMICOLON      (1 << 1)  /* symbol ';' is special for parser */
143 #define PARSEFLAG_REPARSING      (1 << 2)  /* >= 2nd pass */
144
145 typedef enum {
146         REDIRECT_INPUT     = 1,
147         REDIRECT_OVERWRITE = 2,
148         REDIRECT_APPEND    = 3,
149         REDIRECT_HEREIS    = 4,
150         REDIRECT_IO        = 5
151 } redir_type;
152
153 /* The descrip member of this structure is only used to make debugging
154  * output pretty */
155 static const struct {
156         int mode;
157         signed char default_fd;
158         char descrip[3];
159 } redir_table[] = {
160         { 0,                         0, "()" },
161         { O_RDONLY,                  0, "<"  },
162         { O_CREAT|O_TRUNC|O_WRONLY,  1, ">"  },
163         { O_CREAT|O_APPEND|O_WRONLY, 1, ">>" },
164         { O_RDONLY,                 -1, "<<" },
165         { O_RDWR,                    1, "<>" }
166 };
167
168 typedef enum {
169         PIPE_SEQ = 1,
170         PIPE_AND = 2,
171         PIPE_OR  = 3,
172         PIPE_BG  = 4,
173 } pipe_style;
174
175 /* might eventually control execution */
176 typedef enum {
177         RES_NONE  = 0,
178         RES_IF    = 1,
179         RES_THEN  = 2,
180         RES_ELIF  = 3,
181         RES_ELSE  = 4,
182         RES_FI    = 5,
183         RES_FOR   = 6,
184         RES_WHILE = 7,
185         RES_UNTIL = 8,
186         RES_DO    = 9,
187         RES_DONE  = 10,
188         RES_XXXX  = 11,
189         RES_IN    = 12,
190         RES_SNTX  = 13
191 } reserved_style;
192 enum {
193         FLAG_END   = (1 << RES_NONE ),
194         FLAG_IF    = (1 << RES_IF   ),
195         FLAG_THEN  = (1 << RES_THEN ),
196         FLAG_ELIF  = (1 << RES_ELIF ),
197         FLAG_ELSE  = (1 << RES_ELSE ),
198         FLAG_FI    = (1 << RES_FI   ),
199         FLAG_FOR   = (1 << RES_FOR  ),
200         FLAG_WHILE = (1 << RES_WHILE),
201         FLAG_UNTIL = (1 << RES_UNTIL),
202         FLAG_DO    = (1 << RES_DO   ),
203         FLAG_DONE  = (1 << RES_DONE ),
204         FLAG_IN    = (1 << RES_IN   ),
205         FLAG_START = (1 << RES_XXXX ),
206 };
207
208 /* This holds pointers to the various results of parsing */
209 struct p_context {
210         struct child_prog *child;
211         struct pipe *list_head;
212         struct pipe *pipe;
213         struct redir_struct *pending_redirect;
214         smallint res_w;
215         smallint parse_type;        /* bitmask of PARSEFLAG_xxx, defines type of parser : ";$" common or special symbol */
216         int old_flag;               /* bitmask of FLAG_xxx, for figuring out valid reserved words */
217         struct p_context *stack;
218         /* How about quoting status? */
219 };
220
221 struct redir_struct {
222         struct redir_struct *next;  /* pointer to the next redirect in the list */
223         redir_type type;            /* type of redirection */
224         int fd;                     /* file descriptor being redirected */
225         int dup;                    /* -1, or file descriptor being duplicated */
226         glob_t word;                /* *word.gl_pathv is the filename */
227 };
228
229 struct child_prog {
230         pid_t pid;                  /* 0 if exited */
231         char **argv;                /* program name and arguments */
232         struct pipe *group;         /* if non-NULL, first in group or subshell */
233         smallint subshell;          /* flag, non-zero if group must be forked */
234         smallint is_stopped;        /* is the program currently running? */
235         struct redir_struct *redirects; /* I/O redirections */
236         glob_t glob_result;         /* result of parameter globbing */
237         struct pipe *family;        /* pointer back to the child's parent pipe */
238         //sp counting seems to be broken... so commented out, grep for '//sp:'
239         //sp: int sp;               /* number of SPECIAL_VAR_SYMBOL */
240         //seems to be unused, grep for '//pt:'
241         //pt: int parse_type;
242 };
243 /* argv vector may contain variable references (^Cvar^C, ^C0^C etc)
244  * and on execution these are substituted with their values.
245  * Substitution can make _several_ words out of one argv[n]!
246  * Example: argv[0]=='.^C*^C.' here: echo .$*.
247  */
248
249 struct pipe {
250         struct pipe *next;
251         int num_progs;              /* total number of programs in job */
252         int running_progs;          /* number of programs running (not exited) */
253         int stopped_progs;          /* number of programs alive, but stopped */
254 #if ENABLE_HUSH_JOB
255         int jobid;                  /* job number */
256         pid_t pgrp;                 /* process group ID for the job */
257         char *cmdtext;              /* name of job */
258 #endif
259         char *cmdbuf;               /* buffer various argv's point into */
260         struct child_prog *progs;   /* array of commands in pipe */
261         int job_context;            /* bitmask defining current context */
262         smallint followup;          /* PIPE_BG, PIPE_SEQ, PIPE_OR, PIPE_AND */
263         smallint res_word;          /* needed for if, for, while, until... */
264 };
265
266 struct close_me {
267         struct close_me *next;
268         int fd;
269 };
270
271 struct variables {
272         struct variables *next;
273         const char *name;
274         const char *value;
275         smallint flg_export;
276         smallint flg_read_only;
277 };
278
279 typedef struct {
280         char *data;
281         int length;
282         int maxlen;
283         int quote;
284         int nonnull;
285 } o_string;
286 #define NULL_O_STRING {NULL,0,0,0,0}
287 /* used for initialization: o_string foo = NULL_O_STRING; */
288
289 /* I can almost use ordinary FILE *.  Is open_memstream() universally
290  * available?  Where is it documented? */
291 struct in_str {
292         const char *p;
293         /* eof_flag=1: last char in ->p is really an EOF */
294         char eof_flag; /* meaningless if ->p == NULL */
295         char peek_buf[2];
296 #if ENABLE_HUSH_INTERACTIVE
297         int __promptme;
298         int promptmode;
299 #endif
300         FILE *file;
301         int (*get) (struct in_str *);
302         int (*peek) (struct in_str *);
303 };
304 #define b_getch(input) ((input)->get(input))
305 #define b_peek(input) ((input)->peek(input))
306
307 enum {
308         CHAR_ORDINARY           = 0,
309         CHAR_ORDINARY_IF_QUOTED = 1, /* example: *, # */
310         CHAR_IFS                = 2, /* treated as ordinary if quoted */
311         CHAR_SPECIAL            = 3, /* example: $ */
312 };
313
314
315 /* "Globals" within this file */
316
317 #define HUSH_VER_STR "0.02"
318 static const struct variables const_shell_ver = {
319         NULL, "HUSH_VERSION", HUSH_VER_STR, 1, 1
320 };
321
322 /* Sorted roughly by size (smaller offsets == smaller code) */
323 struct globals {
324 #if ENABLE_HUSH_INTERACTIVE
325         /* 'interactive_fd' is a fd# open to ctty, if we have one
326          * _AND_ if we decided to act interactively */
327         int interactive_fd;
328         const char *PS1;
329         const char *PS2;
330 #endif
331 #if ENABLE_FEATURE_EDITING
332         line_input_t *line_input_state;
333 #endif
334 #if ENABLE_HUSH_JOB
335         int run_list_level;
336         pid_t saved_task_pgrp;
337         pid_t saved_tty_pgrp;
338         int last_jobid;
339         struct pipe *job_list;
340         struct pipe *toplevel_list;
341         smallint ctrl_z_flag;
342 #endif
343         smallint fake_mode;
344         /* these three support $?, $#, and $1 */
345         char **global_argv;
346         int global_argc;
347         int last_return_code;
348         const char *ifs;
349         struct close_me *close_me_head;
350         const char *cwd;
351         unsigned last_bg_pid;
352         struct variables *top_vars; /* = &shell_ver (both are set in main()) */
353         struct variables shell_ver; /* = const_shell_ver */
354 #if ENABLE_FEATURE_SH_STANDALONE
355         struct nofork_save_area nofork_save;
356 #endif
357 #if ENABLE_HUSH_JOB
358         sigjmp_buf toplevel_jb;
359 #endif
360         unsigned char charmap[256];
361         char user_input_buf[ENABLE_FEATURE_EDITING ? BUFSIZ : 2];
362 };
363
364 #define G (*ptr_to_globals)
365
366 #if !ENABLE_HUSH_INTERACTIVE
367 enum { interactive_fd = 0 };
368 #endif
369 #if !ENABLE_HUSH_JOB
370 enum { run_list_level = 0 };
371 #endif
372
373 #if ENABLE_HUSH_INTERACTIVE
374 #define interactive_fd   (G.interactive_fd  )
375 #define PS1              (G.PS1             )
376 #define PS2              (G.PS2             )
377 #endif
378 #if ENABLE_FEATURE_EDITING
379 #define line_input_state (G.line_input_state)
380 #endif
381 #if ENABLE_HUSH_JOB
382 #define run_list_level   (G.run_list_level  )
383 #define saved_task_pgrp  (G.saved_task_pgrp )
384 #define saved_tty_pgrp   (G.saved_tty_pgrp  )
385 #define last_jobid       (G.last_jobid      )
386 #define job_list         (G.job_list        )
387 #define toplevel_list    (G.toplevel_list   )
388 #define toplevel_jb      (G.toplevel_jb     )
389 #define ctrl_z_flag      (G.ctrl_z_flag     )
390 #endif /* JOB */
391 #define global_argv      (G.global_argv     )
392 #define global_argc      (G.global_argc     )
393 #define last_return_code (G.last_return_code)
394 #define ifs              (G.ifs             )
395 #define fake_mode        (G.fake_mode       )
396 #define close_me_head    (G.close_me_head   )
397 #define cwd              (G.cwd             )
398 #define last_bg_pid      (G.last_bg_pid     )
399 #define top_vars         (G.top_vars        )
400 #define shell_ver        (G.shell_ver       )
401 #if ENABLE_FEATURE_SH_STANDALONE
402 #define nofork_save      (G.nofork_save     )
403 #endif                     
404 #if ENABLE_HUSH_JOB
405 #define toplevel_jb      (G.toplevel_jb     )
406 #endif
407 #define charmap          (G.charmap         )
408 #define user_input_buf   (G.user_input_buf  )
409
410
411 #define B_CHUNK  100
412 #define B_NOSPAC 1
413 #define JOB_STATUS_FORMAT "[%d] %-22s %.40s\n"
414
415 static void __syntax(int line)
416 {
417         bb_error_msg("syntax error hush.c:%d", line);
418 }
419 #define syntax() __syntax(__LINE__)
420
421 /* Index of subroutines: */
422 /*   function prototypes for builtins */
423 static int builtin_cd(char **argv);
424 static int builtin_eval(char **argv);
425 static int builtin_exec(char **argv);
426 static int builtin_exit(char **argv);
427 static int builtin_export(char **argv);
428 #if ENABLE_HUSH_JOB
429 static int builtin_fg_bg(char **argv);
430 static int builtin_jobs(char **argv);
431 #endif
432 static int builtin_help(char **argv);
433 static int builtin_pwd(char **argv);
434 static int builtin_read(char **argv);
435 static int builtin_set(char **argv);
436 static int builtin_shift(char **argv);
437 static int builtin_source(char **argv);
438 static int builtin_umask(char **argv);
439 static int builtin_unset(char **argv);
440 static int builtin_not_written(char **argv);
441 /*   o_string manipulation: */
442 static int b_check_space(o_string *o, int len);
443 static int b_addchr(o_string *o, int ch);
444 static void b_reset(o_string *o);
445 static int b_addqchr(o_string *o, int ch, int quote);
446 /*  in_str manipulations: */
447 static int static_get(struct in_str *i);
448 static int static_peek(struct in_str *i);
449 static int file_get(struct in_str *i);
450 static int file_peek(struct in_str *i);
451 static void setup_file_in_str(struct in_str *i, FILE *f);
452 static void setup_string_in_str(struct in_str *i, const char *s);
453 /*  close_me manipulations: */
454 static void mark_open(int fd);
455 static void mark_closed(int fd);
456 static void close_all(void);
457 /*  "run" the final data structures: */
458 #if !defined(DEBUG_CLEAN)
459 #define free_pipe_list(head, indent) free_pipe_list(head)
460 #define free_pipe(pi, indent)        free_pipe(pi)
461 #endif
462 static int free_pipe_list(struct pipe *head, int indent);
463 static int free_pipe(struct pipe *pi, int indent);
464 /*  really run the final data structures: */
465 static int setup_redirects(struct child_prog *prog, int squirrel[]);
466 static int run_list_real(struct pipe *pi);
467 static void pseudo_exec_argv(char **argv) ATTRIBUTE_NORETURN;
468 static void pseudo_exec(struct child_prog *child) ATTRIBUTE_NORETURN;
469 static int run_pipe_real(struct pipe *pi);
470 /*   extended glob support: */
471 static int globhack(const char *src, int flags, glob_t *pglob);
472 static int glob_needed(const char *s);
473 static int xglob(o_string *dest, int flags, glob_t *pglob);
474 /*   variable assignment: */
475 static int is_assignment(const char *s);
476 /*   data structure manipulation: */
477 static int setup_redirect(struct p_context *ctx, int fd, redir_type style, struct in_str *input);
478 static void initialize_context(struct p_context *ctx);
479 static int done_word(o_string *dest, struct p_context *ctx);
480 static int done_command(struct p_context *ctx);
481 static int done_pipe(struct p_context *ctx, pipe_style type);
482 /*   primary string parsing: */
483 static int redirect_dup_num(struct in_str *input);
484 static int redirect_opt_num(o_string *o);
485 #if ENABLE_HUSH_TICK
486 static int process_command_subs(o_string *dest, struct p_context *ctx, struct in_str *input, const char *subst_end);
487 #endif
488 static int parse_group(o_string *dest, struct p_context *ctx, struct in_str *input, int ch);
489 static const char *lookup_param(const char *src);
490 static char *make_string(char **inp);
491 static int handle_dollar(o_string *dest, struct p_context *ctx, struct in_str *input);
492 static int parse_stream(o_string *dest, struct p_context *ctx, struct in_str *input0, const char *end_trigger);
493 /*   setup: */
494 static int parse_stream_outer(struct in_str *inp, int parse_flag);
495 static int parse_string_outer(const char *s, int parse_flag);
496 static int parse_file_outer(FILE *f);
497 /*   job management: */
498 static int checkjobs(struct pipe* fg_pipe);
499 #if ENABLE_HUSH_JOB
500 static int checkjobs_and_fg_shell(struct pipe* fg_pipe);
501 static void insert_bg_job(struct pipe *pi);
502 static void remove_bg_job(struct pipe *pi);
503 static void delete_finished_bg_job(struct pipe *pi);
504 #else
505 int checkjobs_and_fg_shell(struct pipe* fg_pipe); /* never called */
506 #endif
507 /*     local variable support */
508 static char **expand_variables_to_list(char **argv);
509 /* used for expansion of right hand of assignments */
510 static char *expand_variables_to_string(const char *str);
511 static const char *get_local_var(const char *var);
512 static int set_local_var(const char *s, int flg_export);
513 static void unset_local_var(const char *name);
514
515 /* Table of built-in functions.  They can be forked or not, depending on
516  * context: within pipes, they fork.  As simple commands, they do not.
517  * When used in non-forking context, they can change global variables
518  * in the parent shell process.  If forked, of course they cannot.
519  * For example, 'unset foo | whatever' will parse and run, but foo will
520  * still be set at the end. */
521 struct built_in_command {
522         const char *cmd;                /* name */
523         const char *descr;              /* description */
524         int (*function) (char **argv);  /* function ptr */
525 };
526
527 static const struct built_in_command bltins[] = {
528 #if ENABLE_HUSH_JOB
529         { "bg", "Resume a job in the background", builtin_fg_bg },
530 #endif
531         { "break", "Exit for, while or until loop", builtin_not_written },
532         { "cd", "Change working directory", builtin_cd },
533         { "continue", "Continue for, while or until loop", builtin_not_written },
534         { "eval", "Construct and run shell command", builtin_eval },
535         { "exec", "Exec command, replacing this shell with the exec'd process",
536                 builtin_exec },
537         { "exit", "Exit from shell()", builtin_exit },
538         { "export", "Set environment variable", builtin_export },
539 #if ENABLE_HUSH_JOB
540         { "fg", "Bring job into the foreground", builtin_fg_bg },
541         { "jobs", "Lists the active jobs", builtin_jobs },
542 #endif
543         { "pwd", "Print current directory", builtin_pwd },
544         { "read", "Input environment variable", builtin_read },
545         { "return", "Return from a function", builtin_not_written },
546         { "set", "Set/unset shell local variables", builtin_set },
547         { "shift", "Shift positional parameters", builtin_shift },
548         { "trap", "Trap signals", builtin_not_written },
549         { "ulimit","Controls resource limits", builtin_not_written },
550         { "umask","Sets file creation mask", builtin_umask },
551         { "unset", "Unset environment variable", builtin_unset },
552         { ".", "Source-in and run commands in a file", builtin_source },
553         { "help", "List shell built-in commands", builtin_help },
554         { NULL, NULL, NULL }
555 };
556
557 #if ENABLE_HUSH_JOB
558
559 /* move to libbb? */
560 static void signal_SA_RESTART(int sig, void (*handler)(int))
561 {
562         struct sigaction sa;
563         sa.sa_handler = handler;
564         sa.sa_flags = SA_RESTART;
565         sigemptyset(&sa.sa_mask);
566         sigaction(sig, &sa, NULL);
567 }
568
569 /* Signals are grouped, we handle them in batches */
570 static void set_fatal_sighandler(void (*handler)(int))
571 {
572         signal(SIGILL , handler);
573         signal(SIGTRAP, handler);
574         signal(SIGABRT, handler);
575         signal(SIGFPE , handler);
576         signal(SIGBUS , handler);
577         signal(SIGSEGV, handler);
578         /* bash 3.2 seems to handle these just like 'fatal' ones */
579         signal(SIGHUP , handler);
580         signal(SIGPIPE, handler);
581         signal(SIGALRM, handler);
582 }
583 static void set_jobctrl_sighandler(void (*handler)(int))
584 {
585         signal(SIGTSTP, handler);
586         signal(SIGTTIN, handler);
587         signal(SIGTTOU, handler);
588 }
589 static void set_misc_sighandler(void (*handler)(int))
590 {
591         signal(SIGINT , handler);
592         signal(SIGQUIT, handler);
593         signal(SIGTERM, handler);
594 }
595 /* SIGCHLD is special and handled separately */
596
597 static void set_every_sighandler(void (*handler)(int))
598 {
599         set_fatal_sighandler(handler);
600         set_jobctrl_sighandler(handler);
601         set_misc_sighandler(handler);
602         signal(SIGCHLD, handler);
603 }
604
605 static void handler_ctrl_c(int sig)
606 {
607         debug_printf_jobs("got sig %d\n", sig);
608 // as usual we can have all kinds of nasty problems with leaked malloc data here
609         siglongjmp(toplevel_jb, 1);
610 }
611
612 static void handler_ctrl_z(int sig)
613 {
614         pid_t pid;
615
616         debug_printf_jobs("got tty sig %d in pid %d\n", sig, getpid());
617         pid = fork();
618         if (pid < 0) /* can't fork. Pretend there was no ctrl-Z */
619                 return;
620         ctrl_z_flag = 1;
621         if (!pid) { /* child */
622                 setpgrp();
623                 debug_printf_jobs("set pgrp for child %d ok\n", getpid());
624                 set_every_sighandler(SIG_DFL);
625                 raise(SIGTSTP); /* resend TSTP so that child will be stopped */
626                 debug_printf_jobs("returning in child\n");
627                 /* return to nofork, it will eventually exit now,
628                  * not return back to shell */
629                 return;
630         }
631         /* parent */
632         /* finish filling up pipe info */
633         toplevel_list->pgrp = pid; /* child is in its own pgrp */
634         toplevel_list->progs[0].pid = pid;
635         /* parent needs to longjmp out of running nofork.
636          * we will "return" exitcode 0, with child put in background */
637 // as usual we can have all kinds of nasty problems with leaked malloc data here
638         debug_printf_jobs("siglongjmp in parent\n");
639         siglongjmp(toplevel_jb, 1);
640 }
641
642 /* Restores tty foreground process group, and exits.
643  * May be called as signal handler for fatal signal
644  * (will faithfully resend signal to itself, producing correct exit state)
645  * or called directly with -EXITCODE.
646  * We also call it if xfunc is exiting. */
647 static void sigexit(int sig) ATTRIBUTE_NORETURN;
648 static void sigexit(int sig)
649 {
650         sigset_t block_all;
651
652         /* Disable all signals: job control, SIGPIPE, etc. */
653         sigfillset(&block_all);
654         sigprocmask(SIG_SETMASK, &block_all, NULL);
655
656         if (interactive_fd)
657                 tcsetpgrp(interactive_fd, saved_tty_pgrp);
658
659         /* Not a signal, just exit */
660         if (sig <= 0)
661                 _exit(- sig);
662
663         /* Enable only this sig and kill ourself with it */
664         signal(sig, SIG_DFL);
665         sigdelset(&block_all, sig);
666         sigprocmask(SIG_SETMASK, &block_all, NULL);
667         raise(sig);
668         _exit(1); /* Should not reach it */
669 }
670
671 /* Restores tty foreground process group, and exits. */
672 static void hush_exit(int exitcode) ATTRIBUTE_NORETURN;
673 static void hush_exit(int exitcode)
674 {
675         fflush(NULL); /* flush all streams */
676         sigexit(- (exitcode & 0xff));
677 }
678
679 #else /* !JOB */
680
681 #define set_fatal_sighandler(handler)   ((void)0)
682 #define set_jobctrl_sighandler(handler) ((void)0)
683 #define set_misc_sighandler(handler)    ((void)0)
684 #define hush_exit(e)                    exit(e)
685
686 #endif /* JOB */
687
688
689 static const char *set_cwd(void)
690 {
691         if (cwd == bb_msg_unknown)
692                 cwd = NULL;     /* xrealloc_getcwd_or_warn(arg) calls free(arg)! */
693         cwd = xrealloc_getcwd_or_warn((char *)cwd);
694         if (!cwd)
695                 cwd = bb_msg_unknown;
696         return cwd;
697 }
698
699 /* built-in 'eval' handler */
700 static int builtin_eval(char **argv)
701 {
702         char *str = NULL;
703         int rcode = EXIT_SUCCESS;
704
705         if (argv[1]) {
706                 str = make_string(argv + 1);
707                 parse_string_outer(str, PARSEFLAG_EXIT_FROM_LOOP |
708                                         PARSEFLAG_SEMICOLON);
709                 free(str);
710                 rcode = last_return_code;
711         }
712         return rcode;
713 }
714
715 /* built-in 'cd <path>' handler */
716 static int builtin_cd(char **argv)
717 {
718         char *newdir;
719         if (argv[1] == NULL)
720                 newdir = getenv("HOME");
721         else
722                 newdir = argv[1];
723         if (chdir(newdir)) {
724                 printf("cd: %s: %s\n", newdir, strerror(errno));
725                 return EXIT_FAILURE;
726         }
727         set_cwd();
728         return EXIT_SUCCESS;
729 }
730
731 /* built-in 'exec' handler */
732 static int builtin_exec(char **argv)
733 {
734         if (argv[1] == NULL)
735                 return EXIT_SUCCESS;   /* Really? */
736         pseudo_exec_argv(argv + 1);
737         /* never returns */
738 }
739
740 /* built-in 'exit' handler */
741 static int builtin_exit(char **argv)
742 {
743 // TODO: bash does it ONLY on top-level sh exit (+interacive only?)
744         //puts("exit"); /* bash does it */
745 // TODO: warn if we have background jobs: "There are stopped jobs"
746 // On second consecutive 'exit', exit anyway.
747
748         if (argv[1] == NULL)
749                 hush_exit(last_return_code);
750         /* mimic bash: exit 123abc == exit 255 + error msg */
751         xfunc_error_retval = 255;
752         /* bash: exit -2 == exit 254, no error msg */
753         hush_exit(xatoi(argv[1]) & 0xff);
754 }
755
756 /* built-in 'export VAR=value' handler */
757 static int builtin_export(char **argv)
758 {
759         int res = 0;
760         char *name = argv[1];
761
762         if (name == NULL) {
763                 // TODO:
764                 // ash emits: export VAR='VAL'
765                 // bash: declare -x VAR="VAL"
766                 // (both also escape as needed (quotes, $, etc))
767                 char **e = environ;
768                 if (e)
769                         while (*e)
770                                 puts(*e++);
771                 return EXIT_SUCCESS;
772         }
773
774         name = xstrdup(name);
775         {
776                 const char *value = strchr(name, '=');
777
778                 if (!value) {
779                         char *tmp;
780                         /* They are exporting something without an =VALUE */
781
782                         value = get_local_var(name);
783                         if (value) {
784                                 size_t ln = strlen(name);
785
786                                 tmp = xrealloc(name, ln+strlen(value)+2);
787                                 sprintf(tmp+ln, "=%s", value);
788                                 name = tmp;
789                         } else {
790                                 /* bash does not return an error when trying to export
791                                  * an undefined variable.  Do likewise. */
792                                 res = 1;
793                         }
794                 }
795         }
796         if (res < 0)
797                 bb_perror_msg("export");
798         else if (res == 0)
799                 res = set_local_var(name, 1);
800         else
801                 res = 0;
802         free(name);
803         return res;
804 }
805
806 #if ENABLE_HUSH_JOB
807 /* built-in 'fg' and 'bg' handler */
808 static int builtin_fg_bg(char **argv)
809 {
810         int i, jobnum;
811         struct pipe *pi;
812
813         if (!interactive_fd)
814                 return EXIT_FAILURE;
815         /* If they gave us no args, assume they want the last backgrounded task */
816         if (!argv[1]) {
817                 for (pi = job_list; pi; pi = pi->next) {
818                         if (pi->jobid == last_jobid) {
819                                 goto found;
820                         }
821                 }
822                 bb_error_msg("%s: no current job", argv[0]);
823                 return EXIT_FAILURE;
824         }
825         if (sscanf(argv[1], "%%%d", &jobnum) != 1) {
826                 bb_error_msg("%s: bad argument '%s'", argv[0], argv[1]);
827                 return EXIT_FAILURE;
828         }
829         for (pi = job_list; pi; pi = pi->next) {
830                 if (pi->jobid == jobnum) {
831                         goto found;
832                 }
833         }
834         bb_error_msg("%s: %d: no such job", argv[0], jobnum);
835         return EXIT_FAILURE;
836  found:
837         // TODO: bash prints a string representation
838         // of job being foregrounded (like "sleep 1 | cat")
839         if (*argv[0] == 'f') {
840                 /* Put the job into the foreground.  */
841                 tcsetpgrp(interactive_fd, pi->pgrp);
842         }
843
844         /* Restart the processes in the job */
845         debug_printf_jobs("reviving %d procs, pgrp %d\n", pi->num_progs, pi->pgrp);
846         for (i = 0; i < pi->num_progs; i++) {
847                 debug_printf_jobs("reviving pid %d\n", pi->progs[i].pid);
848                 pi->progs[i].is_stopped = 0;
849         }
850         pi->stopped_progs = 0;
851
852         i = kill(- pi->pgrp, SIGCONT);
853         if (i < 0) {
854                 if (errno == ESRCH) {
855                         delete_finished_bg_job(pi);
856                         return EXIT_SUCCESS;
857                 } else {
858                         bb_perror_msg("kill (SIGCONT)");
859                 }
860         }
861
862         if (*argv[0] == 'f') {
863                 remove_bg_job(pi);
864                 return checkjobs_and_fg_shell(pi);
865         }
866         return EXIT_SUCCESS;
867 }
868 #endif
869
870 /* built-in 'help' handler */
871 static int builtin_help(char **argv ATTRIBUTE_UNUSED)
872 {
873         const struct built_in_command *x;
874
875         printf("\nBuilt-in commands:\n");
876         printf("-------------------\n");
877         for (x = bltins; x->cmd; x++) {
878                 if (x->descr == NULL)
879                         continue;
880                 printf("%s\t%s\n", x->cmd, x->descr);
881         }
882         printf("\n\n");
883         return EXIT_SUCCESS;
884 }
885
886 #if ENABLE_HUSH_JOB
887 /* built-in 'jobs' handler */
888 static int builtin_jobs(char **argv ATTRIBUTE_UNUSED)
889 {
890         struct pipe *job;
891         const char *status_string;
892
893         for (job = job_list; job; job = job->next) {
894                 if (job->running_progs == job->stopped_progs)
895                         status_string = "Stopped";
896                 else
897                         status_string = "Running";
898
899                 printf(JOB_STATUS_FORMAT, job->jobid, status_string, job->cmdtext);
900         }
901         return EXIT_SUCCESS;
902 }
903 #endif
904
905 /* built-in 'pwd' handler */
906 static int builtin_pwd(char **argv ATTRIBUTE_UNUSED)
907 {
908         puts(set_cwd());
909         return EXIT_SUCCESS;
910 }
911
912 /* built-in 'read VAR' handler */
913 static int builtin_read(char **argv)
914 {
915         char string[BUFSIZ];
916         char *p;
917         const char *name = argv[1] ? argv[1] : "REPLY";
918         int name_len = strlen(name);
919
920         if (name_len >= sizeof(string) - 2)
921                 return EXIT_FAILURE;
922         strcpy(string, name);
923         p = string + name_len;
924         *p++ = '=';
925         *p = '\0'; /* In case stdin has only EOF */
926         /* read string. name_len+1 chars are already used by 'name=' */
927         fgets(p, sizeof(string) - 1 - name_len, stdin);
928         chomp(p);
929         return set_local_var(string, 0);
930 }
931
932 /* built-in 'set [VAR=value]' handler */
933 static int builtin_set(char **argv)
934 {
935         char *temp = argv[1];
936         struct variables *e;
937
938         if (temp == NULL)
939                 for (e = top_vars; e; e = e->next)
940                         printf("%s=%s\n", e->name, e->value);
941         else
942                 set_local_var(temp, 0);
943
944         return EXIT_SUCCESS;
945 }
946
947
948 /* Built-in 'shift' handler */
949 static int builtin_shift(char **argv)
950 {
951         int n = 1;
952         if (argv[1]) {
953                 n = atoi(argv[1]);
954         }
955         if (n >= 0 && n < global_argc) {
956                 global_argv[n] = global_argv[0];
957                 global_argc -= n;
958                 global_argv += n;
959                 return EXIT_SUCCESS;
960         }
961         return EXIT_FAILURE;
962 }
963
964 /* Built-in '.' handler (read-in and execute commands from file) */
965 static int builtin_source(char **argv)
966 {
967         FILE *input;
968         int status;
969
970         if (argv[1] == NULL)
971                 return EXIT_FAILURE;
972
973         /* XXX search through $PATH is missing */
974         input = fopen(argv[1], "r");
975         if (!input) {
976                 bb_error_msg("cannot open '%s'", argv[1]);
977                 return EXIT_FAILURE;
978         }
979
980         /* Now run the file */
981         /* XXX argv and argc are broken; need to save old global_argv
982          * (pointer only is OK!) on this stack frame,
983          * set global_argv=argv+1, recurse, and restore. */
984         mark_open(fileno(input));
985         status = parse_file_outer(input);
986         mark_closed(fileno(input));
987         fclose(input);
988         return status;
989 }
990
991 static int builtin_umask(char **argv)
992 {
993         mode_t new_umask;
994         const char *arg = argv[1];
995         char *end;
996         if (arg) {
997                 new_umask = strtoul(arg, &end, 8);
998                 if (*end != '\0' || end == arg) {
999                         return EXIT_FAILURE;
1000                 }
1001         } else {
1002                 new_umask = umask(0);
1003                 printf("%.3o\n", (unsigned) new_umask);
1004         }
1005         umask(new_umask);
1006         return EXIT_SUCCESS;
1007 }
1008
1009 /* built-in 'unset VAR' handler */
1010 static int builtin_unset(char **argv)
1011 {
1012         /* bash always returns true */
1013         unset_local_var(argv[1]);
1014         return EXIT_SUCCESS;
1015 }
1016
1017 static int builtin_not_written(char **argv)
1018 {
1019         printf("builtin_%s not written\n", argv[0]);
1020         return EXIT_FAILURE;
1021 }
1022
1023 static int b_check_space(o_string *o, int len)
1024 {
1025         /* It would be easy to drop a more restrictive policy
1026          * in here, such as setting a maximum string length */
1027         if (o->length + len > o->maxlen) {
1028                 /* assert(data == NULL || o->maxlen != 0); */
1029                 o->maxlen += (2*len > B_CHUNK ? 2*len : B_CHUNK);
1030                 o->data = xrealloc(o->data, 1 + o->maxlen);
1031         }
1032         return o->data == NULL;
1033 }
1034
1035 static int b_addchr(o_string *o, int ch)
1036 {
1037         debug_printf("b_addchr: '%c' o->length=%d o=%p\n", ch, o->length, o);
1038         if (b_check_space(o, 1))
1039                 return B_NOSPAC;
1040         o->data[o->length] = ch;
1041         o->length++;
1042         o->data[o->length] = '\0';
1043         return 0;
1044 }
1045
1046 static void b_reset(o_string *o)
1047 {
1048         o->length = 0;
1049         o->nonnull = 0;
1050         if (o->data != NULL)
1051                 *o->data = '\0';
1052 }
1053
1054 static void b_free(o_string *o)
1055 {
1056         b_reset(o);
1057         free(o->data);
1058         o->data = NULL;
1059         o->maxlen = 0;
1060 }
1061
1062 /* My analysis of quoting semantics tells me that state information
1063  * is associated with a destination, not a source.
1064  */
1065 static int b_addqchr(o_string *o, int ch, int quote)
1066 {
1067         if (quote && strchr("*?[\\", ch)) {
1068                 int rc;
1069                 rc = b_addchr(o, '\\');
1070                 if (rc)
1071                         return rc;
1072         }
1073         return b_addchr(o, ch);
1074 }
1075
1076 static int static_get(struct in_str *i)
1077 {
1078         int ch = *i->p++;
1079         if (ch == '\0') return EOF;
1080         return ch;
1081 }
1082
1083 static int static_peek(struct in_str *i)
1084 {
1085         return *i->p;
1086 }
1087
1088 #if ENABLE_HUSH_INTERACTIVE
1089 #if ENABLE_FEATURE_EDITING
1090 static void cmdedit_set_initial_prompt(void)
1091 {
1092 #if !ENABLE_FEATURE_EDITING_FANCY_PROMPT
1093         PS1 = NULL;
1094 #else
1095         PS1 = getenv("PS1");
1096         if (PS1 == NULL)
1097                 PS1 = "\\w \\$ ";
1098 #endif
1099 }
1100 #endif /* EDITING */
1101
1102 static const char* setup_prompt_string(int promptmode)
1103 {
1104         const char *prompt_str;
1105         debug_printf("setup_prompt_string %d ", promptmode);
1106 #if !ENABLE_FEATURE_EDITING_FANCY_PROMPT
1107         /* Set up the prompt */
1108         if (promptmode == 1) {
1109                 char *ns;
1110                 free((char*)PS1);
1111                 ns = xmalloc(strlen(cwd)+4);
1112                 sprintf(ns, "%s %s", cwd, (geteuid() != 0) ? "$ " : "# ");
1113                 prompt_str = ns;
1114                 PS1 = ns;
1115         } else {
1116                 prompt_str = PS2;
1117         }
1118 #else
1119         prompt_str = (promptmode == 1) ? PS1 : PS2;
1120 #endif
1121         debug_printf("result %s\n", prompt_str);
1122         return prompt_str;
1123 }
1124
1125 static void get_user_input(struct in_str *i)
1126 {
1127         int r;
1128         const char *prompt_str;
1129
1130         prompt_str = setup_prompt_string(i->promptmode);
1131 #if ENABLE_FEATURE_EDITING
1132         /*
1133          ** enable command line editing only while a command line
1134          ** is actually being read; otherwise, we'll end up bequeathing
1135          ** atexit() handlers and other unwanted stuff to our
1136          ** child processes (rob@sysgo.de)
1137          */
1138         r = read_line_input(prompt_str, user_input_buf, BUFSIZ-1, line_input_state);
1139         i->eof_flag = (r < 0);
1140         if (i->eof_flag) { /* EOF/error detected */
1141                 user_input_buf[0] = EOF; /* yes, it will be truncated, it's ok */
1142                 user_input_buf[1] = '\0';
1143         }
1144 #else
1145         fputs(prompt_str, stdout);
1146         fflush(stdout);
1147         user_input_buf[0] = r = fgetc(i->file);
1148         /*user_input_buf[1] = '\0'; - already is and never changed */
1149         i->eof_flag = (r == EOF);
1150 #endif
1151         i->p = user_input_buf;
1152 }
1153 #endif  /* INTERACTIVE */
1154
1155 /* This is the magic location that prints prompts
1156  * and gets data back from the user */
1157 static int file_get(struct in_str *i)
1158 {
1159         int ch;
1160
1161         /* If there is data waiting, eat it up */
1162         if (i->p && *i->p) {
1163 #if ENABLE_HUSH_INTERACTIVE
1164  take_cached:
1165 #endif
1166                 ch = *i->p++;
1167                 if (i->eof_flag && !*i->p)
1168                         ch = EOF;
1169         } else {
1170                 /* need to double check i->file because we might be doing something
1171                  * more complicated by now, like sourcing or substituting. */
1172 #if ENABLE_HUSH_INTERACTIVE
1173                 if (interactive_fd && i->__promptme && i->file == stdin) {
1174                         do {
1175                                 get_user_input(i);
1176                         } while (!*i->p); /* need non-empty line */
1177                         i->promptmode = 2;
1178                         i->__promptme = 0;
1179                         goto take_cached;
1180                 }
1181 #endif
1182                 ch = fgetc(i->file);
1183         }
1184         debug_printf("file_get: got a '%c' %d\n", ch, ch);
1185 #if ENABLE_HUSH_INTERACTIVE
1186         if (ch == '\n')
1187                 i->__promptme = 1;
1188 #endif
1189         return ch;
1190 }
1191
1192 /* All the callers guarantee this routine will never be
1193  * used right after a newline, so prompting is not needed.
1194  */
1195 static int file_peek(struct in_str *i)
1196 {
1197         int ch;
1198         if (i->p && *i->p) {
1199                 if (i->eof_flag && !i->p[1])
1200                         return EOF;
1201                 return *i->p;
1202         }
1203         ch = fgetc(i->file);
1204         i->eof_flag = (ch == EOF);
1205         i->peek_buf[0] = ch;
1206         i->peek_buf[1] = '\0';
1207         i->p = i->peek_buf;
1208         debug_printf("file_peek: got a '%c' %d\n", *i->p, *i->p);
1209         return ch;
1210 }
1211
1212 static void setup_file_in_str(struct in_str *i, FILE *f)
1213 {
1214         i->peek = file_peek;
1215         i->get = file_get;
1216 #if ENABLE_HUSH_INTERACTIVE
1217         i->__promptme = 1;
1218         i->promptmode = 1;
1219 #endif
1220         i->file = f;
1221         i->p = NULL;
1222 }
1223
1224 static void setup_string_in_str(struct in_str *i, const char *s)
1225 {
1226         i->peek = static_peek;
1227         i->get = static_get;
1228 #if ENABLE_HUSH_INTERACTIVE
1229         i->__promptme = 1;
1230         i->promptmode = 1;
1231 #endif
1232         i->p = s;
1233         i->eof_flag = 0;
1234 }
1235
1236 static void mark_open(int fd)
1237 {
1238         struct close_me *new = xmalloc(sizeof(struct close_me));
1239         new->fd = fd;
1240         new->next = close_me_head;
1241         close_me_head = new;
1242 }
1243
1244 static void mark_closed(int fd)
1245 {
1246         struct close_me *tmp;
1247         if (close_me_head == NULL || close_me_head->fd != fd)
1248                 bb_error_msg_and_die("corrupt close_me");
1249         tmp = close_me_head;
1250         close_me_head = close_me_head->next;
1251         free(tmp);
1252 }
1253
1254 static void close_all(void)
1255 {
1256         struct close_me *c;
1257         for (c = close_me_head; c; c = c->next) {
1258                 close(c->fd);
1259         }
1260         close_me_head = NULL;
1261 }
1262
1263 /* squirrel != NULL means we squirrel away copies of stdin, stdout,
1264  * and stderr if they are redirected. */
1265 static int setup_redirects(struct child_prog *prog, int squirrel[])
1266 {
1267         int openfd, mode;
1268         struct redir_struct *redir;
1269
1270         for (redir = prog->redirects; redir; redir = redir->next) {
1271                 if (redir->dup == -1 && redir->word.gl_pathv == NULL) {
1272                         /* something went wrong in the parse.  Pretend it didn't happen */
1273                         continue;
1274                 }
1275                 if (redir->dup == -1) {
1276                         mode = redir_table[redir->type].mode;
1277                         openfd = open_or_warn(redir->word.gl_pathv[0], mode);
1278                         if (openfd < 0) {
1279                         /* this could get lost if stderr has been redirected, but
1280                            bash and ash both lose it as well (though zsh doesn't!) */
1281                                 return 1;
1282                         }
1283                 } else {
1284                         openfd = redir->dup;
1285                 }
1286
1287                 if (openfd != redir->fd) {
1288                         if (squirrel && redir->fd < 3) {
1289                                 squirrel[redir->fd] = dup(redir->fd);
1290                         }
1291                         if (openfd == -3) {
1292                                 close(openfd);
1293                         } else {
1294                                 dup2(openfd, redir->fd);
1295                                 if (redir->dup == -1)
1296                                         close(openfd);
1297                         }
1298                 }
1299         }
1300         return 0;
1301 }
1302
1303 static void restore_redirects(int squirrel[])
1304 {
1305         int i, fd;
1306         for (i = 0; i < 3; i++) {
1307                 fd = squirrel[i];
1308                 if (fd != -1) {
1309                         /* We simply die on error */
1310                         xmove_fd(fd, i);
1311                 }
1312         }
1313 }
1314
1315 /* never returns */
1316 /* XXX no exit() here.  If you don't exec, use _exit instead.
1317  * The at_exit handlers apparently confuse the calling process,
1318  * in particular stdin handling.  Not sure why? -- because of vfork! (vda) */
1319 static void pseudo_exec_argv(char **argv)
1320 {
1321         int i, rcode;
1322         char *p;
1323         const struct built_in_command *x;
1324
1325         for (i = 0; is_assignment(argv[i]); i++) {
1326                 debug_printf_exec("pid %d environment modification: %s\n",
1327                                 getpid(), argv[i]);
1328 // FIXME: vfork case??
1329                 p = expand_variables_to_string(argv[i]);
1330                 putenv(p == argv[i] ? xstrdup(p) : p);
1331         }
1332         argv += i;
1333         /* If a variable is assigned in a forest, and nobody listens,
1334          * was it ever really set?
1335          */
1336         if (argv[0] == NULL) {
1337                 _exit(EXIT_SUCCESS);
1338         }
1339
1340         argv = expand_variables_to_list(argv);
1341
1342         /*
1343          * Check if the command matches any of the builtins.
1344          * Depending on context, this might be redundant.  But it's
1345          * easier to waste a few CPU cycles than it is to figure out
1346          * if this is one of those cases.
1347          */
1348         for (x = bltins; x->cmd; x++) {
1349                 if (strcmp(argv[0], x->cmd) == 0) {
1350                         debug_printf_exec("running builtin '%s'\n", argv[0]);
1351                         rcode = x->function(argv);
1352                         fflush(stdout);
1353                         _exit(rcode);
1354                 }
1355         }
1356
1357         /* Check if the command matches any busybox applets */
1358 #if ENABLE_FEATURE_SH_STANDALONE
1359         if (strchr(argv[0], '/') == NULL) {
1360                 const struct bb_applet *a = find_applet_by_name(argv[0]);
1361                 if (a) {
1362                         if (a->noexec) {
1363                                 current_applet = a;
1364                                 debug_printf_exec("running applet '%s'\n", argv[0]);
1365 // is it ok that run_current_applet_and_exit() does exit(), not _exit()?
1366                                 run_current_applet_and_exit(argv);
1367                         }
1368                         /* re-exec ourselves with the new arguments */
1369                         debug_printf_exec("re-execing applet '%s'\n", argv[0]);
1370                         execvp(CONFIG_BUSYBOX_EXEC_PATH, argv);
1371                         /* If they called chroot or otherwise made the binary no longer
1372                          * executable, fall through */
1373                 }
1374         }
1375 #endif
1376
1377         debug_printf_exec("execing '%s'\n", argv[0]);
1378         execvp(argv[0], argv);
1379         bb_perror_msg("cannot exec '%s'", argv[0]);
1380         _exit(1);
1381 }
1382
1383 static void pseudo_exec(struct child_prog *child)
1384 {
1385 // FIXME: buggy wrt NOMMU! Must not modify any global data
1386 // until it does exec/_exit, but currently it does.
1387         int rcode;
1388
1389         if (child->argv) {
1390                 pseudo_exec_argv(child->argv);
1391         }
1392
1393         if (child->group) {
1394         // FIXME: do not modify globals! Think vfork!
1395 #if ENABLE_HUSH_INTERACTIVE
1396                 debug_printf_exec("pseudo_exec: setting interactive_fd=0\n");
1397                 interactive_fd = 0;    /* crucial!!!! */
1398 #endif
1399                 debug_printf_exec("pseudo_exec: run_list_real\n");
1400                 rcode = run_list_real(child->group);
1401                 /* OK to leak memory by not calling free_pipe_list,
1402                  * since this process is about to exit */
1403                 _exit(rcode);
1404         }
1405
1406         /* Can happen.  See what bash does with ">foo" by itself. */
1407         debug_printf("trying to pseudo_exec null command\n");
1408         _exit(EXIT_SUCCESS);
1409 }
1410
1411 #if ENABLE_HUSH_JOB
1412 static const char *get_cmdtext(struct pipe *pi)
1413 {
1414         char **argv;
1415         char *p;
1416         int len;
1417
1418         /* This is subtle. ->cmdtext is created only on first backgrounding.
1419          * (Think "cat, <ctrl-z>, fg, <ctrl-z>, fg, <ctrl-z>...." here...)
1420          * On subsequent bg argv is trashed, but we won't use it */
1421         if (pi->cmdtext)
1422                 return pi->cmdtext;
1423         argv = pi->progs[0].argv;
1424         if (!argv || !argv[0])
1425                 return (pi->cmdtext = xzalloc(1));
1426
1427         len = 0;
1428         do len += strlen(*argv) + 1; while (*++argv);
1429         pi->cmdtext = p = xmalloc(len);
1430         argv = pi->progs[0].argv;
1431         do {
1432                 len = strlen(*argv);
1433                 memcpy(p, *argv, len);
1434                 p += len;
1435                 *p++ = ' ';
1436         } while (*++argv);
1437         p[-1] = '\0';
1438         return pi->cmdtext;
1439 }
1440
1441 static void insert_bg_job(struct pipe *pi)
1442 {
1443         struct pipe *thejob;
1444         int i;
1445
1446         /* Linear search for the ID of the job to use */
1447         pi->jobid = 1;
1448         for (thejob = job_list; thejob; thejob = thejob->next)
1449                 if (thejob->jobid >= pi->jobid)
1450                         pi->jobid = thejob->jobid + 1;
1451
1452         /* Add thejob to the list of running jobs */
1453         if (!job_list) {
1454                 thejob = job_list = xmalloc(sizeof(*thejob));
1455         } else {
1456                 for (thejob = job_list; thejob->next; thejob = thejob->next)
1457                         continue;
1458                 thejob->next = xmalloc(sizeof(*thejob));
1459                 thejob = thejob->next;
1460         }
1461
1462         /* Physically copy the struct job */
1463         memcpy(thejob, pi, sizeof(struct pipe));
1464         thejob->progs = xzalloc(sizeof(pi->progs[0]) * pi->num_progs);
1465         /* We cannot copy entire pi->progs[] vector! Double free()s will happen */
1466         for (i = 0; i < pi->num_progs; i++) {
1467 // TODO: do we really need to have so many fields which are just dead weight
1468 // at execution stage?
1469                 thejob->progs[i].pid = pi->progs[i].pid;
1470                 /* all other fields are not used and stay zero */
1471         }
1472         thejob->next = NULL;
1473         thejob->cmdtext = xstrdup(get_cmdtext(pi));
1474
1475         /* We don't wait for background thejobs to return -- append it
1476            to the list of backgrounded thejobs and leave it alone */
1477         printf("[%d] %d %s\n", thejob->jobid, thejob->progs[0].pid, thejob->cmdtext);
1478         last_bg_pid = thejob->progs[0].pid;
1479         last_jobid = thejob->jobid;
1480 }
1481
1482 static void remove_bg_job(struct pipe *pi)
1483 {
1484         struct pipe *prev_pipe;
1485
1486         if (pi == job_list) {
1487                 job_list = pi->next;
1488         } else {
1489                 prev_pipe = job_list;
1490                 while (prev_pipe->next != pi)
1491                         prev_pipe = prev_pipe->next;
1492                 prev_pipe->next = pi->next;
1493         }
1494         if (job_list)
1495                 last_jobid = job_list->jobid;
1496         else
1497                 last_jobid = 0;
1498 }
1499
1500 /* remove a backgrounded job */
1501 static void delete_finished_bg_job(struct pipe *pi)
1502 {
1503         remove_bg_job(pi);
1504         pi->stopped_progs = 0;
1505         free_pipe(pi, 0);
1506         free(pi);
1507 }
1508 #endif /* JOB */
1509
1510 /* Checks to see if any processes have exited -- if they
1511    have, figure out why and see if a job has completed */
1512 static int checkjobs(struct pipe* fg_pipe)
1513 {
1514         int attributes;
1515         int status;
1516 #if ENABLE_HUSH_JOB
1517         int prognum = 0;
1518         struct pipe *pi;
1519 #endif
1520         pid_t childpid;
1521         int rcode = 0;
1522
1523         attributes = WUNTRACED;
1524         if (fg_pipe == NULL) {
1525                 attributes |= WNOHANG;
1526         }
1527
1528 /* Do we do this right?
1529  * bash-3.00# sleep 20 | false
1530  * <ctrl-Z pressed>
1531  * [3]+  Stopped          sleep 20 | false
1532  * bash-3.00# echo $?
1533  * 1   <========== bg pipe is not fully done, but exitcode is already known!
1534  */
1535
1536 //FIXME: non-interactive bash does not continue even if all processes in fg pipe
1537 //are stopped. Testcase: "cat | cat" in a script (not on command line)
1538 // + killall -STOP cat
1539
1540  wait_more:
1541         while ((childpid = waitpid(-1, &status, attributes)) > 0) {
1542                 const int dead = WIFEXITED(status) || WIFSIGNALED(status);
1543
1544 #ifdef DEBUG_SHELL_JOBS
1545                 if (WIFSTOPPED(status))
1546                         debug_printf_jobs("pid %d stopped by sig %d (exitcode %d)\n",
1547                                         childpid, WSTOPSIG(status), WEXITSTATUS(status));
1548                 if (WIFSIGNALED(status))
1549                         debug_printf_jobs("pid %d killed by sig %d (exitcode %d)\n",
1550                                         childpid, WTERMSIG(status), WEXITSTATUS(status));
1551                 if (WIFEXITED(status))
1552                         debug_printf_jobs("pid %d exited, exitcode %d\n",
1553                                         childpid, WEXITSTATUS(status));
1554 #endif
1555                 /* Were we asked to wait for fg pipe? */
1556                 if (fg_pipe) {
1557                         int i;
1558                         for (i = 0; i < fg_pipe->num_progs; i++) {
1559                                 debug_printf_jobs("check pid %d\n", fg_pipe->progs[i].pid);
1560                                 if (fg_pipe->progs[i].pid == childpid) {
1561                                         /* printf("process %d exit %d\n", i, WEXITSTATUS(status)); */
1562                                         if (dead) {
1563                                                 fg_pipe->progs[i].pid = 0;
1564                                                 fg_pipe->running_progs--;
1565                                                 if (i == fg_pipe->num_progs-1)
1566                                                         /* last process gives overall exitstatus */
1567                                                         rcode = WEXITSTATUS(status);
1568                                         } else {
1569                                                 fg_pipe->progs[i].is_stopped = 1;
1570                                                 fg_pipe->stopped_progs++;
1571                                         }
1572                                         debug_printf_jobs("fg_pipe: running_progs %d stopped_progs %d\n",
1573                                                         fg_pipe->running_progs, fg_pipe->stopped_progs);
1574                                         if (fg_pipe->running_progs - fg_pipe->stopped_progs <= 0) {
1575                                                 /* All processes in fg pipe have exited/stopped */
1576 #if ENABLE_HUSH_JOB
1577                                                 if (fg_pipe->running_progs)
1578                                                         insert_bg_job(fg_pipe);
1579 #endif
1580                                                 return rcode;
1581                                         }
1582                                         /* There are still running processes in the fg pipe */
1583                                         goto wait_more;
1584                                 }
1585                         }
1586                         /* fall through to searching process in bg pipes */
1587                 }
1588
1589 #if ENABLE_HUSH_JOB
1590                 /* We asked to wait for bg or orphaned children */
1591                 /* No need to remember exitcode in this case */
1592                 for (pi = job_list; pi; pi = pi->next) {
1593                         prognum = 0;
1594                         while (prognum < pi->num_progs) {
1595                                 if (pi->progs[prognum].pid == childpid)
1596                                         goto found_pi_and_prognum;
1597                                 prognum++;
1598                         }
1599                 }
1600 #endif
1601
1602                 /* Happens when shell is used as init process (init=/bin/sh) */
1603                 debug_printf("checkjobs: pid %d was not in our list!\n", childpid);
1604                 goto wait_more;
1605
1606 #if ENABLE_HUSH_JOB
1607  found_pi_and_prognum:
1608                 if (dead) {
1609                         /* child exited */
1610                         pi->progs[prognum].pid = 0;
1611                         pi->running_progs--;
1612                         if (!pi->running_progs) {
1613                                 printf(JOB_STATUS_FORMAT, pi->jobid,
1614                                                         "Done", pi->cmdtext);
1615                                 delete_finished_bg_job(pi);
1616                         }
1617                 } else {
1618                         /* child stopped */
1619                         pi->stopped_progs++;
1620                         pi->progs[prognum].is_stopped = 1;
1621                 }
1622 #endif
1623         }
1624
1625         /* wait found no children or failed */
1626
1627         if (childpid && errno != ECHILD)
1628                 bb_perror_msg("waitpid");
1629         return rcode;
1630 }
1631
1632 #if ENABLE_HUSH_JOB
1633 static int checkjobs_and_fg_shell(struct pipe* fg_pipe)
1634 {
1635         pid_t p;
1636         int rcode = checkjobs(fg_pipe);
1637         /* Job finished, move the shell to the foreground */
1638         p = getpgid(0);
1639         debug_printf("fg'ing ourself: getpgid(0)=%d\n", (int)p);
1640         if (tcsetpgrp(interactive_fd, p) && errno != ENOTTY)
1641                 bb_perror_msg("tcsetpgrp-4a");
1642         return rcode;
1643 }
1644 #endif
1645
1646 /* run_pipe_real() starts all the jobs, but doesn't wait for anything
1647  * to finish.  See checkjobs().
1648  *
1649  * return code is normally -1, when the caller has to wait for children
1650  * to finish to determine the exit status of the pipe.  If the pipe
1651  * is a simple builtin command, however, the action is done by the
1652  * time run_pipe_real returns, and the exit code is provided as the
1653  * return value.
1654  *
1655  * The input of the pipe is always stdin, the output is always
1656  * stdout.  The outpipe[] mechanism in BusyBox-0.48 lash is bogus,
1657  * because it tries to avoid running the command substitution in
1658  * subshell, when that is in fact necessary.  The subshell process
1659  * now has its stdout directed to the input of the appropriate pipe,
1660  * so this routine is noticeably simpler.
1661  */
1662 static int run_pipe_real(struct pipe *pi)
1663 {
1664         int i;
1665         int nextin, nextout;
1666         int pipefds[2];                         /* pipefds[0] is for reading */
1667         struct child_prog *child;
1668         const struct built_in_command *x;
1669         char *p;
1670         /* it is not always needed, but we aim to smaller code */
1671         int squirrel[] = { -1, -1, -1 };
1672         int rcode;
1673         const int single_fg = (pi->num_progs == 1 && pi->followup != PIPE_BG);
1674
1675         debug_printf_exec("run_pipe_real start: single_fg=%d\n", single_fg);
1676
1677         nextin = 0;
1678 #if ENABLE_HUSH_JOB
1679         pi->pgrp = -1;
1680 #endif
1681         pi->running_progs = 1;
1682         pi->stopped_progs = 0;
1683
1684         /* Check if this is a simple builtin (not part of a pipe).
1685          * Builtins within pipes have to fork anyway, and are handled in
1686          * pseudo_exec.  "echo foo | read bar" doesn't work on bash, either.
1687          */
1688         child = &(pi->progs[0]);
1689         if (single_fg && child->group && child->subshell == 0) {
1690                 debug_printf("non-subshell grouping\n");
1691                 setup_redirects(child, squirrel);
1692                 debug_printf_exec(": run_list_real\n");
1693                 rcode = run_list_real(child->group);
1694                 restore_redirects(squirrel);
1695                 debug_printf_exec("run_pipe_real return %d\n", rcode);
1696                 return rcode;
1697         }
1698
1699         if (single_fg && child->argv != NULL) {
1700                 char **argv_expanded;
1701                 char **argv = child->argv;
1702
1703                 for (i = 0; is_assignment(argv[i]); i++)
1704                         continue;
1705                 if (i != 0 && argv[i] == NULL) {
1706                         /* assignments, but no command: set the local environment */
1707                         for (i = 0; argv[i] != NULL; i++) {
1708                                 /* Ok, this case is tricky.  We have to decide if this is a
1709                                  * local variable, or an already exported variable.  If it is
1710                                  * already exported, we have to export the new value.  If it is
1711                                  * not exported, we need only set this as a local variable.
1712                                  * This junk is all to decide whether or not to export this
1713                                  * variable. */
1714                                 int export_me = 0;
1715                                 char *name, *value;
1716                                 name = xstrdup(argv[i]);
1717                                 debug_printf("local environment set: %s\n", name);
1718                                 value = strchr(name, '=');
1719                                 if (value)
1720                                         *value = '\0';
1721                                 if (get_local_var(name)) {
1722                                         export_me = 1;
1723                                 }
1724                                 free(name);
1725                                 p = expand_variables_to_string(argv[i]);
1726                                 set_local_var(p, export_me);
1727                                 if (p != argv[i])
1728                                         free(p);
1729                         }
1730                         return EXIT_SUCCESS;   /* don't worry about errors in set_local_var() yet */
1731                 }
1732                 for (i = 0; is_assignment(argv[i]); i++) {
1733                         p = expand_variables_to_string(argv[i]);
1734                         if (p != argv[i]) {
1735                                 //sp: child->sp--;
1736                                 putenv(p);
1737                         } else {
1738                                 putenv(xstrdup(p));
1739                         }
1740                 }
1741                 for (x = bltins; x->cmd; x++) {
1742                         if (strcmp(argv[i], x->cmd) == 0) {
1743                                 if (x->function == builtin_exec && argv[i+1] == NULL) {
1744                                         debug_printf("magic exec\n");
1745                                         setup_redirects(child, NULL);
1746                                         return EXIT_SUCCESS;
1747                                 }
1748                                 debug_printf("builtin inline %s\n", argv[0]);
1749                                 /* XXX setup_redirects acts on file descriptors, not FILEs.
1750                                  * This is perfect for work that comes after exec().
1751                                  * Is it really safe for inline use?  Experimentally,
1752                                  * things seem to work with glibc. */
1753                                 setup_redirects(child, squirrel);
1754                                 debug_printf_exec(": builtin '%s' '%s'...\n", x->cmd, argv[i+1]);
1755                                 //sp: if (child->sp) /* btw we can do it unconditionally... */
1756                                 argv_expanded = expand_variables_to_list(argv + i);
1757                                 rcode = x->function(argv_expanded);
1758                                 free(argv_expanded);
1759                                 restore_redirects(squirrel);
1760                                 debug_printf_exec("run_pipe_real return %d\n", rcode);
1761                                 return rcode;
1762                         }
1763                 }
1764 #if ENABLE_FEATURE_SH_STANDALONE
1765                 {
1766                         const struct bb_applet *a = find_applet_by_name(argv[i]);
1767                         if (a && a->nofork) {
1768                                 setup_redirects(child, squirrel);
1769                                 save_nofork_data(&nofork_save);
1770                                 argv_expanded = argv + i;
1771                                 //sp: if (child->sp)
1772                                 argv_expanded = expand_variables_to_list(argv + i);
1773                                 debug_printf_exec(": run_nofork_applet '%s' '%s'...\n", argv_expanded[0], argv_expanded[1]);
1774                                 rcode = run_nofork_applet_prime(&nofork_save, a, argv_expanded);
1775                                 free(argv_expanded);
1776                                 restore_redirects(squirrel);
1777                                 debug_printf_exec("run_pipe_real return %d\n", rcode);
1778                                 return rcode;
1779                         }
1780                 }
1781 #endif
1782         }
1783
1784         /* Going to fork a child per each pipe member */
1785         pi->running_progs = 0;
1786
1787         /* Disable job control signals for shell (parent) and
1788          * for initial child code after fork */
1789         set_jobctrl_sighandler(SIG_IGN);
1790
1791         for (i = 0; i < pi->num_progs; i++) {
1792                 child = &(pi->progs[i]);
1793                 if (child->argv)
1794                         debug_printf_exec(": pipe member '%s' '%s'...\n", child->argv[0], child->argv[1]);
1795                 else
1796                         debug_printf_exec(": pipe member with no argv\n");
1797
1798                 /* pipes are inserted between pairs of commands */
1799                 if ((i + 1) < pi->num_progs) {
1800                         if (pipe(pipefds) < 0)
1801                                 bb_perror_msg_and_die("pipe");
1802                         nextout = pipefds[1];
1803                 } else {
1804                         nextout = 1;
1805                         pipefds[0] = -1;
1806                 }
1807
1808                 /* XXX test for failed fork()? */
1809 #if BB_MMU
1810                 child->pid = fork();
1811 #else
1812                 child->pid = vfork();
1813 #endif
1814                 if (!child->pid) { /* child */
1815                         /* Every child adds itself to new process group
1816                          * with pgid == pid of first child in pipe */
1817 #if ENABLE_HUSH_JOB
1818                         if (interactive_fd) {
1819                                 /* Don't do pgrp restore anymore on fatal signals */
1820                                 set_fatal_sighandler(SIG_DFL);
1821                                 if (pi->pgrp < 0) /* true for 1st process only */
1822                                         pi->pgrp = getpid();
1823                                 if (setpgid(0, pi->pgrp) == 0 && pi->followup != PIPE_BG) {
1824                                         /* We do it in *every* child, not just first,
1825                                          * to avoid races */
1826                                         tcsetpgrp(interactive_fd, pi->pgrp);
1827                                 }
1828                         }
1829 #endif
1830                         /* in non-interactive case fatal sigs are already SIG_DFL */
1831                         close_all();
1832                         if (nextin != 0) {
1833                                 dup2(nextin, 0);
1834                                 close(nextin);
1835                         }
1836                         if (nextout != 1) {
1837                                 dup2(nextout, 1);
1838                                 close(nextout);
1839                         }
1840                         if (pipefds[0] != -1) {
1841                                 close(pipefds[0]);  /* opposite end of our output pipe */
1842                         }
1843                         /* Like bash, explicit redirects override pipes,
1844                          * and the pipe fd is available for dup'ing. */
1845                         setup_redirects(child, NULL);
1846
1847                         /* Restore default handlers just prior to exec */
1848                         set_jobctrl_sighandler(SIG_DFL);
1849                         set_misc_sighandler(SIG_DFL);
1850                         signal(SIGCHLD, SIG_DFL);
1851                         pseudo_exec(child);
1852                 }
1853
1854                 pi->running_progs++;
1855
1856 #if ENABLE_HUSH_JOB
1857                 /* Second and next children need to know pid of first one */
1858                 if (pi->pgrp < 0)
1859                         pi->pgrp = child->pid;
1860 #endif
1861                 if (nextin != 0)
1862                         close(nextin);
1863                 if (nextout != 1)
1864                         close(nextout);
1865
1866                 /* If there isn't another process, nextin is garbage
1867                    but it doesn't matter */
1868                 nextin = pipefds[0];
1869         }
1870         debug_printf_exec("run_pipe_real return -1\n");
1871         return -1;
1872 }
1873
1874 #ifndef debug_print_tree        
1875 static void debug_print_tree(struct pipe *pi, int lvl)
1876 {
1877         static const char *PIPE[] = {
1878                 [PIPE_SEQ] = "SEQ",
1879                 [PIPE_AND] = "AND",
1880                 [PIPE_OR ] = "OR" ,
1881                 [PIPE_BG ] = "BG" ,
1882         };
1883         static const char *RES[] = {
1884                 [RES_NONE ] = "NONE" ,
1885                 [RES_IF   ] = "IF"   ,
1886                 [RES_THEN ] = "THEN" ,
1887                 [RES_ELIF ] = "ELIF" ,
1888                 [RES_ELSE ] = "ELSE" ,
1889                 [RES_FI   ] = "FI"   ,
1890                 [RES_FOR  ] = "FOR"  ,
1891                 [RES_WHILE] = "WHILE",
1892                 [RES_UNTIL] = "UNTIL",
1893                 [RES_DO   ] = "DO"   ,
1894                 [RES_DONE ] = "DONE" ,
1895                 [RES_XXXX ] = "XXXX" ,
1896                 [RES_IN   ] = "IN"   ,
1897                 [RES_SNTX ] = "SNTX" ,
1898         };
1899
1900         int pin, prn;
1901
1902         pin = 0;
1903         while (pi) {
1904                 fprintf(stderr, "%*spipe %d res_word=%s followup=%d %s\n", lvl*2, "",
1905                                 pin, RES[pi->res_word], pi->followup, PIPE[pi->followup]);
1906                 prn = 0;
1907                 while (prn < pi->num_progs) {
1908                         struct child_prog *child = &pi->progs[prn];
1909                         char **argv = child->argv;
1910
1911                         fprintf(stderr, "%*s prog %d", lvl*2, "", prn);
1912                         if (child->group) {
1913                                 fprintf(stderr, " group %s: (argv=%p)\n",
1914                                                 (child->subshell ? "()" : "{}"),
1915                                                 argv);
1916                                 debug_print_tree(child->group, lvl+1);
1917                                 prn++;
1918                                 continue;
1919                         }
1920                         if (argv) while (*argv) {
1921                                 fprintf(stderr, " '%s'", *argv);
1922                                 argv++;
1923                         }                               
1924                         fprintf(stderr, "\n");
1925                         prn++;
1926                 }
1927                 pi = pi->next;
1928                 pin++;
1929         }
1930 }
1931 #endif
1932
1933 /* NB: called by pseudo_exec, and therefore must not modify any
1934  * global data until exec/_exit (we can be a child after vfork!) */
1935 static int run_list_real(struct pipe *pi)
1936 {
1937         char *for_varname = NULL;
1938         char **for_lcur = NULL;
1939         char **for_list = NULL;
1940         struct pipe *rpipe;
1941         int flag_rep = 0;
1942         int save_num_progs;
1943         int flag_skip = 1;
1944         int rcode = 0; /* probably for gcc only */
1945         int flag_restore = 0;
1946         int if_code = 0, next_if_code = 0;  /* need double-buffer to handle elif */
1947         reserved_style rword;
1948         reserved_style skip_more_for_this_rword = RES_XXXX;
1949
1950         debug_printf_exec("run_list_real start lvl %d\n", run_list_level + 1);
1951
1952         /* check syntax for "for" */
1953         for (rpipe = pi; rpipe; rpipe = rpipe->next) {
1954                 if ((rpipe->res_word == RES_IN || rpipe->res_word == RES_FOR)
1955                  && (rpipe->next == NULL)
1956                 ) {
1957                         syntax(); /* unterminated FOR (no IN or no commands after IN) */
1958                         debug_printf_exec("run_list_real lvl %d return 1\n", run_list_level);
1959                         return 1;
1960                 }
1961                 if ((rpipe->res_word == RES_IN && rpipe->next->res_word == RES_IN && rpipe->next->progs[0].argv != NULL)
1962                  || (rpipe->res_word == RES_FOR && rpipe->next->res_word != RES_IN)
1963                 ) {
1964                         /* TODO: what is tested in the first condition? */
1965                         syntax(); /* 2nd: malformed FOR (not followed by IN) */
1966                         debug_printf_exec("run_list_real lvl %d return 1\n", run_list_level);
1967                         return 1;
1968                 }
1969         }
1970
1971 #if ENABLE_HUSH_JOB
1972         /* Example of nested list: "while true; do { sleep 1 | exit 2; } done".
1973          * We are saving state before entering outermost list ("while...done")
1974          * so that ctrl-Z will correctly background _entire_ outermost list,
1975          * not just a part of it (like "sleep 1 | exit 2") */
1976         if (++run_list_level == 1 && interactive_fd) {
1977                 if (sigsetjmp(toplevel_jb, 1)) {
1978                         /* ctrl-Z forked and we are parent; or ctrl-C.
1979                          * Sighandler has longjmped us here */
1980                         signal(SIGINT, SIG_IGN);
1981                         signal(SIGTSTP, SIG_IGN);
1982                         /* Restore level (we can be coming from deep inside
1983                          * nested levels) */
1984                         run_list_level = 1;
1985 #if ENABLE_FEATURE_SH_STANDALONE
1986                         if (nofork_save.saved) { /* if save area is valid */
1987                                 debug_printf_jobs("exiting nofork early\n");
1988                                 restore_nofork_data(&nofork_save);
1989                         }
1990 #endif
1991                         if (ctrl_z_flag) {
1992                                 /* ctrl-Z has forked and stored pid of the child in pi->pid.
1993                                  * Remember this child as background job */
1994                                 insert_bg_job(pi);
1995                         } else {
1996                                 /* ctrl-C. We just stop doing whatever we were doing */
1997                                 putchar('\n');
1998                         }
1999                         rcode = 0;
2000                         goto ret;
2001                 }
2002                 /* ctrl-Z handler will store pid etc in pi */
2003                 toplevel_list = pi;
2004                 ctrl_z_flag = 0;
2005 #if ENABLE_FEATURE_SH_STANDALONE
2006                 nofork_save.saved = 0; /* in case we will run a nofork later */
2007 #endif
2008                 signal_SA_RESTART(SIGTSTP, handler_ctrl_z);
2009                 signal(SIGINT, handler_ctrl_c);
2010         }
2011 #endif
2012
2013         for (; pi; pi = flag_restore ? rpipe : pi->next) {
2014                 rword = pi->res_word;
2015                 if (rword == RES_WHILE || rword == RES_UNTIL || rword == RES_FOR) {
2016                         flag_restore = 0;
2017                         if (!rpipe) {
2018                                 flag_rep = 0;
2019                                 rpipe = pi;
2020                         }
2021                 }
2022                 debug_printf_exec(": rword=%d if_code=%d next_if_code=%d skip_more=%d\n",
2023                                 rword, if_code, next_if_code, skip_more_for_this_rword);
2024                 if (rword == skip_more_for_this_rword && flag_skip) {
2025                         if (pi->followup == PIPE_SEQ)
2026                                 flag_skip = 0;
2027                         continue;
2028                 }
2029                 flag_skip = 1;
2030                 skip_more_for_this_rword = RES_XXXX;
2031                 if (rword == RES_THEN || rword == RES_ELSE)
2032                         if_code = next_if_code;
2033                 if (rword == RES_THEN && if_code)
2034                         continue;
2035                 if (rword == RES_ELSE && !if_code)
2036                         continue;
2037                 if (rword == RES_ELIF && !if_code)
2038                         break;
2039                 if (rword == RES_FOR && pi->num_progs) {
2040                         if (!for_lcur) {
2041                                 /* if no variable values after "in" we skip "for" */
2042                                 if (!pi->next->progs->argv)
2043                                         continue;
2044                                 /* create list of variable values */
2045                                 for_list = expand_variables_to_list(pi->next->progs->argv);
2046                                 for_lcur = for_list;
2047                                 for_varname = pi->progs->argv[0];
2048                                 pi->progs->argv[0] = NULL;
2049                                 flag_rep = 1;
2050                         }
2051                         free(pi->progs->argv[0]);
2052                         if (!*for_lcur) {
2053                                 free(for_list);
2054                                 for_lcur = NULL;
2055                                 flag_rep = 0;
2056                                 pi->progs->argv[0] = for_varname;
2057                                 pi->progs->glob_result.gl_pathv[0] = pi->progs->argv[0];
2058                                 continue;
2059                         }
2060                         /* insert next value from for_lcur */
2061                         /* vda: does it need escaping? */
2062                         pi->progs->argv[0] = xasprintf("%s=%s", for_varname, *for_lcur++);
2063                         pi->progs->glob_result.gl_pathv[0] = pi->progs->argv[0];
2064                 }
2065                 if (rword == RES_IN)
2066                         continue;
2067                 if (rword == RES_DO) {
2068                         if (!flag_rep)
2069                                 continue;
2070                 }
2071                 if (rword == RES_DONE) {
2072                         if (flag_rep) {
2073                                 flag_restore = 1;
2074                         } else {
2075                                 rpipe = NULL;
2076                         }
2077                 }
2078                 if (pi->num_progs == 0)
2079                         continue;
2080                 save_num_progs = pi->num_progs; /* save number of programs */
2081                 debug_printf_exec(": run_pipe_real with %d members\n", pi->num_progs);
2082                 rcode = run_pipe_real(pi);
2083                 if (rcode != -1) {
2084                         /* We only ran a builtin: rcode was set by the return value
2085                          * of run_pipe_real(), and we don't need to wait for anything. */
2086                 } else if (pi->followup == PIPE_BG) {
2087                         /* What does bash do with attempts to background builtins? */
2088
2089                         /* Even bash 3.2 doesn't do that well with nested bg:
2090                          * try "{ { sleep 10; echo DEEP; } & echo HERE; } &".
2091                          * I'm considering NOT treating inner bgs as jobs -
2092                          * thus maybe "if (run_list_level == 1 && pi->followup == PIPE_BG)"
2093                          * above? */
2094 #if ENABLE_HUSH_JOB
2095                         insert_bg_job(pi);
2096 #endif
2097                         rcode = EXIT_SUCCESS;
2098                 } else {
2099 #if ENABLE_HUSH_JOB
2100                         /* Paranoia, just "interactive_fd" should be enough */
2101                         if (run_list_level == 1 && interactive_fd) {
2102                                 rcode = checkjobs_and_fg_shell(pi);
2103                         } else
2104 #endif
2105                         {
2106                                 rcode = checkjobs(pi);
2107                         }
2108                         debug_printf_exec(": checkjobs returned %d\n", rcode);
2109                 }
2110                 debug_printf_exec(": setting last_return_code=%d\n", rcode);
2111                 last_return_code = rcode;
2112                 pi->num_progs = save_num_progs; /* restore number of programs */
2113                 if (rword == RES_IF || rword == RES_ELIF)
2114                         next_if_code = rcode;  /* can be overwritten a number of times */
2115                 if (rword == RES_WHILE)
2116                         flag_rep = !last_return_code;
2117                 if (rword == RES_UNTIL)
2118                         flag_rep = last_return_code;
2119                 if ((rcode == EXIT_SUCCESS && pi->followup == PIPE_OR)
2120                  || (rcode != EXIT_SUCCESS && pi->followup == PIPE_AND)
2121                 ) {
2122                         skip_more_for_this_rword = rword;
2123                 }
2124                 checkjobs(NULL);
2125         }
2126
2127 #if ENABLE_HUSH_JOB
2128         if (ctrl_z_flag) {
2129                 /* ctrl-Z forked somewhere in the past, we are the child,
2130                  * and now we completed running the list. Exit. */
2131                 exit(rcode);
2132         }
2133  ret:
2134         run_list_level--;
2135 #endif
2136         debug_printf_exec("run_list_real lvl %d return %d\n", run_list_level + 1, rcode);
2137         return rcode;
2138 }
2139
2140 /* return code is the exit status of the pipe */
2141 static int free_pipe(struct pipe *pi, int indent)
2142 {
2143         char **p;
2144         struct child_prog *child;
2145         struct redir_struct *r, *rnext;
2146         int a, i, ret_code = 0;
2147
2148         if (pi->stopped_progs > 0)
2149                 return ret_code;
2150         debug_printf_clean("%s run pipe: (pid %d)\n", indenter(indent), getpid());
2151         for (i = 0; i < pi->num_progs; i++) {
2152                 child = &pi->progs[i];
2153                 debug_printf_clean("%s  command %d:\n", indenter(indent), i);
2154                 if (child->argv) {
2155                         for (a = 0, p = child->argv; *p; a++, p++) {
2156                                 debug_printf_clean("%s   argv[%d] = %s\n", indenter(indent), a, *p);
2157                         }
2158                         globfree(&child->glob_result);
2159                         child->argv = NULL;
2160                 } else if (child->group) {
2161                         debug_printf_clean("%s   begin group (subshell:%d)\n", indenter(indent), child->subshell);
2162                         ret_code = free_pipe_list(child->group, indent+3);
2163                         debug_printf_clean("%s   end group\n", indenter(indent));
2164                 } else {
2165                         debug_printf_clean("%s   (nil)\n", indenter(indent));
2166                 }
2167                 for (r = child->redirects; r; r = rnext) {
2168                         debug_printf_clean("%s   redirect %d%s", indenter(indent), r->fd, redir_table[r->type].descrip);
2169                         if (r->dup == -1) {
2170                                 /* guard against the case >$FOO, where foo is unset or blank */
2171                                 if (r->word.gl_pathv) {
2172                                         debug_printf_clean(" %s\n", *r->word.gl_pathv);
2173                                         globfree(&r->word);
2174                                 }
2175                         } else {
2176                                 debug_printf_clean("&%d\n", r->dup);
2177                         }
2178                         rnext = r->next;
2179                         free(r);
2180                 }
2181                 child->redirects = NULL;
2182         }
2183         free(pi->progs);   /* children are an array, they get freed all at once */
2184         pi->progs = NULL;
2185 #if ENABLE_HUSH_JOB
2186         free(pi->cmdtext);
2187         pi->cmdtext = NULL;
2188 #endif
2189         return ret_code;
2190 }
2191
2192 static int free_pipe_list(struct pipe *head, int indent)
2193 {
2194         int rcode = 0;   /* if list has no members */
2195         struct pipe *pi, *next;
2196
2197         for (pi = head; pi; pi = next) {
2198                 debug_printf_clean("%s pipe reserved mode %d\n", indenter(indent), pi->res_word);
2199                 rcode = free_pipe(pi, indent);
2200                 debug_printf_clean("%s pipe followup code %d\n", indenter(indent), pi->followup);
2201                 next = pi->next;
2202                 /*pi->next = NULL;*/
2203                 free(pi);
2204         }
2205         return rcode;
2206 }
2207
2208 /* Select which version we will use */
2209 static int run_list(struct pipe *pi)
2210 {
2211         int rcode = 0;
2212         debug_printf_exec("run_list entered\n");
2213         if (fake_mode == 0) {
2214                 debug_printf_exec(": run_list_real with %d members\n", pi->num_progs);
2215                 rcode = run_list_real(pi);
2216         }
2217         /* free_pipe_list has the side effect of clearing memory.
2218          * In the long run that function can be merged with run_list_real,
2219          * but doing that now would hobble the debugging effort. */
2220         free_pipe_list(pi, 0);
2221         debug_printf_exec("run_list return %d\n", rcode);
2222         return rcode;
2223 }
2224
2225 /* The API for glob is arguably broken.  This routine pushes a non-matching
2226  * string into the output structure, removing non-backslashed backslashes.
2227  * If someone can prove me wrong, by performing this function within the
2228  * original glob(3) api, feel free to rewrite this routine into oblivion.
2229  * Return code (0 vs. GLOB_NOSPACE) matches glob(3).
2230  * XXX broken if the last character is '\\', check that before calling.
2231  */
2232 static int globhack(const char *src, int flags, glob_t *pglob)
2233 {
2234         int cnt = 0, pathc;
2235         const char *s;
2236         char *dest;
2237         for (cnt = 1, s = src; s && *s; s++) {
2238                 if (*s == '\\') s++;
2239                 cnt++;
2240         }
2241         dest = xmalloc(cnt);
2242         if (!(flags & GLOB_APPEND)) {
2243                 pglob->gl_pathv = NULL;
2244                 pglob->gl_pathc = 0;
2245                 pglob->gl_offs = 0;
2246                 pglob->gl_offs = 0;
2247         }
2248         pathc = ++pglob->gl_pathc;
2249         pglob->gl_pathv = xrealloc(pglob->gl_pathv, (pathc+1) * sizeof(*pglob->gl_pathv));
2250         pglob->gl_pathv[pathc-1] = dest;
2251         pglob->gl_pathv[pathc] = NULL;
2252         for (s = src; s && *s; s++, dest++) {
2253                 if (*s == '\\') s++;
2254                 *dest = *s;
2255         }
2256         *dest = '\0';
2257         return 0;
2258 }
2259
2260 /* XXX broken if the last character is '\\', check that before calling */
2261 static int glob_needed(const char *s)
2262 {
2263         for (; *s; s++) {
2264                 if (*s == '\\') s++;
2265                 if (strchr("*[?", *s)) return 1;
2266         }
2267         return 0;
2268 }
2269
2270 static int xglob(o_string *dest, int flags, glob_t *pglob)
2271 {
2272         int gr;
2273
2274         /* short-circuit for null word */
2275         /* we can code this better when the debug_printf's are gone */
2276         if (dest->length == 0) {
2277                 if (dest->nonnull) {
2278                         /* bash man page calls this an "explicit" null */
2279                         gr = globhack(dest->data, flags, pglob);
2280                         debug_printf("globhack returned %d\n", gr);
2281                 } else {
2282                         return 0;
2283                 }
2284         } else if (glob_needed(dest->data)) {
2285                 gr = glob(dest->data, flags, NULL, pglob);
2286                 debug_printf("glob returned %d\n", gr);
2287                 if (gr == GLOB_NOMATCH) {
2288                         /* quote removal, or more accurately, backslash removal */
2289                         gr = globhack(dest->data, flags, pglob);
2290                         debug_printf("globhack returned %d\n", gr);
2291                 }
2292         } else {
2293                 gr = globhack(dest->data, flags, pglob);
2294                 debug_printf("globhack returned %d\n", gr);
2295         }
2296         if (gr == GLOB_NOSPACE)
2297                 bb_error_msg_and_die("out of memory during glob");
2298         if (gr != 0) { /* GLOB_ABORTED ? */
2299                 bb_error_msg("glob(3) error %d", gr);
2300         }
2301         /* globprint(glob_target); */
2302         return gr;
2303 }
2304
2305 /* expand_variables_to_list() takes a list of strings, expands
2306  * all variable references within and returns a pointer to
2307  * a list of expanded strings, possibly with larger number
2308  * of strings. (Think VAR="a b"; echo $VAR).
2309  * This new list is allocated as a single malloc block.
2310  * NULL-terminated list of char* pointers is at the beginning of it,
2311  * followed by strings themself.
2312  * Caller can deallocate entire list by single free(list). */
2313
2314 /* Helpers first:
2315  * count_XXX estimates size of the block we need. It's okay
2316  * to over-estimate sizes a bit, if it makes code simpler */
2317 static int count_ifs(const char *str)
2318 {
2319         int cnt = 0;
2320         debug_printf_expand("count_ifs('%s') ifs='%s'", str, ifs);
2321         while (1) {
2322                 str += strcspn(str, ifs);
2323                 if (!*str) break;
2324                 str++; /* str += strspn(str, ifs); */
2325                 cnt++; /* cnt += strspn(str, ifs); - but this code is larger */
2326         }
2327         debug_printf_expand(" return %d\n", cnt);
2328         return cnt;
2329 }
2330
2331 static void count_var_expansion_space(int *countp, int *lenp, char *arg)
2332 {
2333         char first_ch;
2334         int i;
2335         int len = *lenp;
2336         int count = *countp;
2337         const char *val;
2338         char *p;
2339
2340         while ((p = strchr(arg, SPECIAL_VAR_SYMBOL))) {
2341                 len += p - arg;
2342                 arg = ++p;
2343                 p = strchr(p, SPECIAL_VAR_SYMBOL);
2344                 first_ch = arg[0];
2345
2346                 switch (first_ch & 0x7f) {
2347                 /* high bit in 1st_ch indicates that var is double-quoted */
2348                 case '$': /* pid */
2349                 case '!': /* bg pid */
2350                 case '?': /* exitcode */
2351                 case '#': /* argc */
2352                         len += sizeof(int)*3 + 1; /* enough for int */
2353                         break;
2354                 case '*':
2355                 case '@':
2356                         for (i = 1; i < global_argc; i++) {
2357                                 len += strlen(global_argv[i]) + 1;
2358                                 count++;
2359                                 if (!(first_ch & 0x80))
2360                                         count += count_ifs(global_argv[i]);
2361                         }
2362                         break;
2363                 default:
2364                         *p = '\0';
2365                         arg[0] = first_ch & 0x7f;
2366                         if (isdigit(arg[0])) {
2367                                 i = xatoi_u(arg);
2368                                 val = NULL;
2369                                 if (i < global_argc)
2370                                         val = global_argv[i];
2371                         } else
2372                                 val = lookup_param(arg);
2373                         arg[0] = first_ch;
2374                         *p = SPECIAL_VAR_SYMBOL;
2375
2376                         if (val) {
2377                                 len += strlen(val) + 1;
2378                                 if (!(first_ch & 0x80))
2379                                         count += count_ifs(val);
2380                         }
2381                 }
2382                 arg = ++p;
2383         }
2384
2385         len += strlen(arg) + 1;
2386         count++;
2387         *lenp = len;
2388         *countp = count;
2389 }
2390
2391 /* Store given string, finalizing the word and starting new one whenever
2392  * we encounter ifs char(s). This is used for expanding variable values.
2393  * End-of-string does NOT finalize word: think about 'echo -$VAR-' */
2394 static int expand_on_ifs(char **list, int n, char **posp, const char *str)
2395 {
2396         char *pos = *posp;
2397         while (1) {
2398                 int word_len = strcspn(str, ifs);
2399                 if (word_len) {
2400                         memcpy(pos, str, word_len); /* store non-ifs chars */
2401                         pos += word_len;
2402                         str += word_len;
2403                 }
2404                 if (!*str)  /* EOL - do not finalize word */
2405                         break;
2406                 *pos++ = '\0';
2407                 if (n) debug_printf_expand("expand_on_ifs finalized list[%d]=%p '%s' "
2408                         "strlen=%d next=%p pos=%p\n", n-1, list[n-1], list[n-1],
2409                         strlen(list[n-1]), list[n-1] + strlen(list[n-1]) + 1, pos);
2410                 list[n++] = pos;
2411                 str += strspn(str, ifs); /* skip ifs chars */
2412         }
2413         *posp = pos;
2414         return n;
2415 }
2416
2417 /* Expand all variable references in given string, adding words to list[]
2418  * at n, n+1,... positions. Return updated n (so that list[n] is next one
2419  * to be filled). This routine is extremely tricky: has to deal with
2420  * variables/parameters with whitespace, $* and $@, and constructs like
2421  * 'echo -$*-'. If you play here, you must run testsuite afterwards! */
2422 /* NB: another bug is that we cannot detect empty strings yet:
2423  * "" or $empty"" expands to zero words, has to expand to empty word */
2424 static int expand_vars_to_list(char **list, int n, char **posp, char *arg, char or_mask)
2425 {
2426         /* or_mask is either 0 (normal case) or 0x80
2427          * (expansion of right-hand side of assignment == 1-element expand) */
2428
2429         char first_ch, ored_ch;
2430         int i;
2431         const char *val;
2432         char *p;
2433         char *pos = *posp;
2434
2435         ored_ch = 0;
2436
2437         if (n) debug_printf_expand("expand_vars_to_list finalized list[%d]=%p '%s' "
2438                 "strlen=%d next=%p pos=%p\n", n-1, list[n-1], list[n-1],
2439                 strlen(list[n-1]), list[n-1] + strlen(list[n-1]) + 1, pos);
2440         list[n++] = pos;
2441
2442         while ((p = strchr(arg, SPECIAL_VAR_SYMBOL))) {
2443                 memcpy(pos, arg, p - arg);
2444                 pos += (p - arg);
2445                 arg = ++p;
2446                 p = strchr(p, SPECIAL_VAR_SYMBOL);
2447
2448                 first_ch = arg[0] | or_mask; /* forced to "quoted" if or_mask = 0x80 */
2449                 ored_ch |= first_ch;
2450                 val = NULL;
2451                 switch (first_ch & 0x7f) {
2452                 /* Highest bit in first_ch indicates that var is double-quoted */
2453                 case '$': /* pid */
2454                         /* FIXME: (echo $$) should still print pid of main shell */
2455                         val = utoa(getpid());
2456                         break;
2457                 case '!': /* bg pid */
2458                         val = last_bg_pid ? utoa(last_bg_pid) : (char*)"";
2459                         break;
2460                 case '?': /* exitcode */
2461                         val = utoa(last_return_code);
2462                         break;
2463                 case '#': /* argc */
2464                         val = utoa(global_argc ? global_argc-1 : 0);
2465                         break;
2466                 case '*':
2467                 case '@':
2468                         i = 1;
2469                         if (!(first_ch & 0x80)) { /* unquoted $* or $@ */
2470                                 while (i < global_argc) {
2471                                         n = expand_on_ifs(list, n, &pos, global_argv[i]);
2472                                         debug_printf_expand("expand_vars_to_list: argv %d (last %d)\n", i, global_argc-1);
2473                                         if (global_argv[i++][0] && i < global_argc) {
2474                                                 /* this argv[] is not empty and not last:
2475                                                  * put terminating NUL, start new word */
2476                                                 *pos++ = '\0';
2477                                                 if (n) debug_printf_expand("expand_vars_to_list 2 finalized list[%d]=%p '%s' "
2478                                                         "strlen=%d next=%p pos=%p\n", n-1, list[n-1], list[n-1],
2479                                                         strlen(list[n-1]), list[n-1] + strlen(list[n-1]) + 1, pos);
2480                                                 list[n++] = pos;
2481                                         }
2482                                 }
2483                         } else
2484                         /* If or_mask is nonzero, we handle assignment 'a=....$@.....'
2485                          * and in this case should theat it like '$*' */
2486                         if (first_ch == ('@'|0x80) && !or_mask) { /* quoted $@ */
2487                                 while (1) {
2488                                         strcpy(pos, global_argv[i]);
2489                                         pos += strlen(global_argv[i]);
2490                                         if (++i >= global_argc)
2491                                                 break;
2492                                         *pos++ = '\0';
2493                                         if (n) debug_printf_expand("expand_vars_to_list 3 finalized list[%d]=%p '%s' "
2494                                                 "strlen=%d next=%p pos=%p\n", n-1, list[n-1], list[n-1],
2495                                                         strlen(list[n-1]), list[n-1] + strlen(list[n-1]) + 1, pos);
2496                                         list[n++] = pos;
2497                                 }
2498                         } else { /* quoted $*: add as one word */
2499                                 while (1) {
2500                                         strcpy(pos, global_argv[i]);
2501                                         pos += strlen(global_argv[i]);
2502                                         if (++i >= global_argc)
2503                                                 break;
2504                                         if (ifs[0])
2505                                                 *pos++ = ifs[0];
2506                                 }
2507                         }
2508                         break;
2509                 default:
2510                         *p = '\0';
2511                         arg[0] = first_ch & 0x7f;
2512                         if (isdigit(arg[0])) {
2513                                 i = xatoi_u(arg);
2514                                 val = NULL;
2515                                 if (i < global_argc)
2516                                         val = global_argv[i];
2517                         } else
2518                                 val = lookup_param(arg);
2519                         arg[0] = first_ch;
2520                         *p = SPECIAL_VAR_SYMBOL;
2521                         if (!(first_ch & 0x80)) { /* unquoted $VAR */
2522                                 if (val) {
2523                                         n = expand_on_ifs(list, n, &pos, val);
2524                                         val = NULL;
2525                                 }
2526                         } /* else: quoted $VAR, val will be appended at pos */
2527                 }
2528                 if (val) {
2529                         strcpy(pos, val);
2530                         pos += strlen(val);
2531                 }
2532                 arg = ++p;
2533         }
2534         debug_printf_expand("expand_vars_to_list adding tail '%s' at %p\n", arg, pos);
2535         strcpy(pos, arg);
2536         pos += strlen(arg) + 1;
2537         if (pos == list[n-1] + 1) { /* expansion is empty */
2538                 if (!(ored_ch & 0x80)) { /* all vars were not quoted... */
2539                         debug_printf_expand("expand_vars_to_list list[%d] empty, going back\n", n);
2540                         pos--;
2541                         n--;
2542                 }
2543         }
2544
2545         *posp = pos;
2546         return n;
2547 }
2548
2549 static char **expand_variables(char **argv, char or_mask)
2550 {
2551         int n;
2552         int count = 1;
2553         int len = 0;
2554         char *pos, **v, **list;
2555
2556         v = argv;
2557         if (!*v) debug_printf_expand("count_var_expansion_space: "
2558                         "argv[0]=NULL count=%d len=%d alloc_space=%d\n",
2559                         count, len, sizeof(char*) * count + len);
2560         while (*v) {
2561                 count_var_expansion_space(&count, &len, *v);
2562                 debug_printf_expand("count_var_expansion_space: "
2563                         "'%s' count=%d len=%d alloc_space=%d\n",
2564                         *v, count, len, sizeof(char*) * count + len);
2565                 v++;
2566         }
2567         len += sizeof(char*) * count; /* total to alloc */
2568         list = xmalloc(len);
2569         pos = (char*)(list + count);
2570         debug_printf_expand("list=%p, list[0] should be %p\n", list, pos);
2571         n = 0;
2572         v = argv;
2573         while (*v)
2574                 n = expand_vars_to_list(list, n, &pos, *v++, or_mask);
2575
2576         if (n) debug_printf_expand("finalized list[%d]=%p '%s' "
2577                 "strlen=%d next=%p pos=%p\n", n-1, list[n-1], list[n-1],
2578                 strlen(list[n-1]), list[n-1] + strlen(list[n-1]) + 1, pos);
2579         list[n] = NULL;
2580
2581 #ifdef DEBUG_EXPAND
2582         {
2583                 int m = 0;
2584                 while (m <= n) {
2585                         debug_printf_expand("list[%d]=%p '%s'\n", m, list[m], list[m]);
2586                         m++;
2587                 }
2588                 debug_printf_expand("used_space=%d\n", pos - (char*)list);
2589         }
2590 #endif
2591         /* To be removed / made conditional later. */
2592         if (pos - (char*)list > len)
2593                 bb_error_msg_and_die("BUG in varexp");
2594         return list;
2595 }
2596
2597 static char **expand_variables_to_list(char **argv)
2598 {
2599         return expand_variables(argv, 0);
2600 }
2601
2602 static char *expand_variables_to_string(const char *str)
2603 {
2604         char *argv[2], **list;
2605
2606         argv[0] = (char*)str;
2607         argv[1] = NULL;
2608         list = expand_variables(argv, 0x80); /* 0x80: make one-element expansion */
2609         /* To be removed / made conditional later. */
2610         if (!list[0] || list[1])
2611                 bb_error_msg_and_die("BUG in varexp");
2612         /* actually, just move string 2*sizeof(char*) bytes back */
2613         strcpy((char*)list, list[0]);
2614         return (char*)list;
2615 }
2616
2617 /* This is used to get/check local shell variables */
2618 static const char *get_local_var(const char *s)
2619 {
2620         struct variables *cur;
2621
2622         if (!s)
2623                 return NULL;
2624         for (cur = top_vars; cur; cur = cur->next) {
2625                 if (strcmp(cur->name, s) == 0)
2626                         return cur->value;
2627         }
2628         return NULL;
2629 }
2630
2631 /* This is used to set local shell variables
2632    flg_export == 0 if only local (not exporting) variable
2633    flg_export == 1 if "new" exporting environ
2634    flg_export > 1  if current startup environ (not call putenv()) */
2635 static int set_local_var(const char *s, int flg_export)
2636 {
2637         char *name, *value;
2638         int result = 0;
2639         struct variables *cur;
2640
2641         name = xstrdup(s);
2642
2643         /* Assume when we enter this function that we are already in
2644          * NAME=VALUE format.  So the first order of business is to
2645          * split 's' on the '=' into 'name' and 'value' */
2646         value = strchr(name, '=');
2647         /*if (value == 0 && ++value == 0) ??? -vda */
2648         if (value == NULL || value[1] == '\0') {
2649                 free(name);
2650                 return -1;
2651         }
2652         *value++ = '\0';
2653
2654         for (cur = top_vars; cur; cur = cur->next) {
2655                 if (strcmp(cur->name, name) == 0) {
2656                         if (strcmp(cur->value, value) == 0) {
2657                                 if (flg_export && !cur->flg_export)
2658                                         cur->flg_export = flg_export;
2659                                 else
2660                                         result++;
2661                         } else if (cur->flg_read_only) {
2662                                 bb_error_msg("%s: readonly variable", name);
2663                                 result = -1;
2664                         } else {
2665                                 if (flg_export > 0 || cur->flg_export > 1)
2666                                         cur->flg_export = 1;
2667                                 free((char*)cur->value);
2668                                 cur->value = xstrdup(value);
2669                         }
2670                         goto skip;
2671                 }
2672         }
2673
2674         cur = xzalloc(sizeof(*cur));
2675         cur->name = xstrdup(name);
2676         cur->value = xstrdup(value);
2677         /*cur->next = 0;*/
2678         cur->flg_export = flg_export;
2679         /*cur->flg_read_only = 0;*/
2680         {
2681                 struct variables *bottom = top_vars;
2682                 while (bottom->next)
2683                         bottom = bottom->next;
2684                 bottom->next = cur;
2685         }
2686  skip:
2687         if (result == 0 && cur->flg_export == 1) {
2688                 *(value-1) = '=';
2689                 result = putenv(name);
2690         } else {
2691                 free(name);
2692                 if (result > 0)            /* equivalent to previous set */
2693                         result = 0;
2694         }
2695         return result;
2696 }
2697
2698 static void unset_local_var(const char *name)
2699 {
2700         struct variables *cur, *next;
2701
2702         if (!name)
2703                 return;
2704         for (cur = top_vars; cur; cur = cur->next) {
2705                 if (strcmp(cur->name, name) == 0) {
2706                         if (cur->flg_read_only) {
2707                                 bb_error_msg("%s: readonly variable", name);
2708                                 return;
2709                         }
2710                         if (cur->flg_export)
2711                                 unsetenv(cur->name);
2712                         free((char*)cur->name);
2713                         free((char*)cur->value);
2714                         next = top_vars;
2715                         while (next->next != cur)
2716                                 next = next->next;
2717                         next->next = cur->next;
2718                         free(cur);
2719                         return;
2720                 }
2721         }
2722 }
2723
2724 static int is_assignment(const char *s)
2725 {
2726         if (!s || !isalpha(*s))
2727                 return 0;
2728         s++;
2729         while (isalnum(*s) || *s == '_')
2730                 s++;
2731         return *s == '=';
2732 }
2733
2734 /* the src parameter allows us to peek forward to a possible &n syntax
2735  * for file descriptor duplication, e.g., "2>&1".
2736  * Return code is 0 normally, 1 if a syntax error is detected in src.
2737  * Resource errors (in xmalloc) cause the process to exit */
2738 static int setup_redirect(struct p_context *ctx, int fd, redir_type style,
2739         struct in_str *input)
2740 {
2741         struct child_prog *child = ctx->child;
2742         struct redir_struct *redir = child->redirects;
2743         struct redir_struct *last_redir = NULL;
2744
2745         /* Create a new redir_struct and drop it onto the end of the linked list */
2746         while (redir) {
2747                 last_redir = redir;
2748                 redir = redir->next;
2749         }
2750         redir = xmalloc(sizeof(struct redir_struct));
2751         redir->next = NULL;
2752         redir->word.gl_pathv = NULL;
2753         if (last_redir) {
2754                 last_redir->next = redir;
2755         } else {
2756                 child->redirects = redir;
2757         }
2758
2759         redir->type = style;
2760         redir->fd = (fd == -1) ? redir_table[style].default_fd : fd;
2761
2762         debug_printf("Redirect type %d%s\n", redir->fd, redir_table[style].descrip);
2763
2764         /* Check for a '2>&1' type redirect */
2765         redir->dup = redirect_dup_num(input);
2766         if (redir->dup == -2) return 1;  /* syntax error */
2767         if (redir->dup != -1) {
2768                 /* Erik had a check here that the file descriptor in question
2769                  * is legit; I postpone that to "run time"
2770                  * A "-" representation of "close me" shows up as a -3 here */
2771                 debug_printf("Duplicating redirect '%d>&%d'\n", redir->fd, redir->dup);
2772         } else {
2773                 /* We do _not_ try to open the file that src points to,
2774                  * since we need to return and let src be expanded first.
2775                  * Set ctx->pending_redirect, so we know what to do at the
2776                  * end of the next parsed word.
2777                  */
2778                 ctx->pending_redirect = redir;
2779         }
2780         return 0;
2781 }
2782
2783 static struct pipe *new_pipe(void)
2784 {
2785         struct pipe *pi;
2786         pi = xzalloc(sizeof(struct pipe));
2787         /*pi->num_progs = 0;*/
2788         /*pi->progs = NULL;*/
2789         /*pi->next = NULL;*/
2790         /*pi->followup = 0;  invalid */
2791         if (RES_NONE)
2792                 pi->res_word = RES_NONE;
2793         return pi;
2794 }
2795
2796 static void initialize_context(struct p_context *ctx)
2797 {
2798         ctx->pipe = NULL;
2799         ctx->pending_redirect = NULL;
2800         ctx->child = NULL;
2801         ctx->list_head = new_pipe();
2802         ctx->pipe = ctx->list_head;
2803         ctx->res_w = RES_NONE;
2804         ctx->stack = NULL;
2805         ctx->old_flag = 0;
2806         done_command(ctx);   /* creates the memory for working child */
2807 }
2808
2809 /* normal return is 0
2810  * if a reserved word is found, and processed, return 1
2811  * should handle if, then, elif, else, fi, for, while, until, do, done.
2812  * case, function, and select are obnoxious, save those for later.
2813  */
2814 static int reserved_word(o_string *dest, struct p_context *ctx)
2815 {
2816         struct reserved_combo {
2817                 char literal[7];
2818                 unsigned char code;
2819                 int flag;
2820         };
2821         /* Mostly a list of accepted follow-up reserved words.
2822          * FLAG_END means we are done with the sequence, and are ready
2823          * to turn the compound list into a command.
2824          * FLAG_START means the word must start a new compound list.
2825          */
2826         static const struct reserved_combo reserved_list[] = {
2827                 { "if",    RES_IF,    FLAG_THEN | FLAG_START },
2828                 { "then",  RES_THEN,  FLAG_ELIF | FLAG_ELSE | FLAG_FI },
2829                 { "elif",  RES_ELIF,  FLAG_THEN },
2830                 { "else",  RES_ELSE,  FLAG_FI   },
2831                 { "fi",    RES_FI,    FLAG_END  },
2832                 { "for",   RES_FOR,   FLAG_IN   | FLAG_START },
2833                 { "while", RES_WHILE, FLAG_DO   | FLAG_START },
2834                 { "until", RES_UNTIL, FLAG_DO   | FLAG_START },
2835                 { "in",    RES_IN,    FLAG_DO   },
2836                 { "do",    RES_DO,    FLAG_DONE },
2837                 { "done",  RES_DONE,  FLAG_END  }
2838         };
2839         enum { NRES = sizeof(reserved_list)/sizeof(reserved_list[0]) };
2840         const struct reserved_combo *r;
2841
2842         for (r = reserved_list; r < reserved_list + NRES; r++) {
2843                 if (strcmp(dest->data, r->literal) == 0) {
2844                         debug_printf("found reserved word %s, code %d\n", r->literal, r->code);
2845                         if (r->flag & FLAG_START) {
2846                                 struct p_context *new = xmalloc(sizeof(struct p_context));
2847                                 debug_printf("push stack\n");
2848                                 if (ctx->res_w == RES_IN || ctx->res_w == RES_FOR) {
2849                                         syntax();
2850                                         free(new);
2851                                         ctx->res_w = RES_SNTX;
2852                                         b_reset(dest);
2853                                         return 1;
2854                                 }
2855                                 *new = *ctx;   /* physical copy */
2856                                 initialize_context(ctx);
2857                                 ctx->stack = new;
2858                         } else if (ctx->res_w == RES_NONE || !(ctx->old_flag & (1 << r->code))) {
2859                                 syntax();
2860                                 ctx->res_w = RES_SNTX;
2861                                 b_reset(dest);
2862                                 return 1;
2863                         }
2864                         ctx->res_w = r->code;
2865                         ctx->old_flag = r->flag;
2866                         if (ctx->old_flag & FLAG_END) {
2867                                 struct p_context *old;
2868                                 debug_printf("pop stack\n");
2869                                 done_pipe(ctx, PIPE_SEQ);
2870                                 old = ctx->stack;
2871                                 old->child->group = ctx->list_head;
2872                                 old->child->subshell = 0;
2873                                 *ctx = *old;   /* physical copy */
2874                                 free(old);
2875                         }
2876                         b_reset(dest);
2877                         return 1;
2878                 }
2879         }
2880         return 0;
2881 }
2882
2883 /* Normal return is 0.
2884  * Syntax or xglob errors return 1. */
2885 static int done_word(o_string *dest, struct p_context *ctx)
2886 {
2887         struct child_prog *child = ctx->child;
2888         glob_t *glob_target;
2889         int gr, flags = 0;
2890
2891         debug_printf_parse("done_word entered: '%s' %p\n", dest->data, child);
2892         if (dest->length == 0 && !dest->nonnull) {
2893                 debug_printf_parse("done_word return 0: true null, ignored\n");
2894                 return 0;
2895         }
2896         if (ctx->pending_redirect) {
2897                 glob_target = &ctx->pending_redirect->word;
2898         } else {
2899                 if (child->group) {
2900                         syntax();
2901                         debug_printf_parse("done_word return 1: syntax error, groups and arglists don't mix\n");
2902                         return 1;
2903                 }
2904                 if (!child->argv && (ctx->parse_type & PARSEFLAG_SEMICOLON)) {
2905                         debug_printf_parse(": checking '%s' for reserved-ness\n", dest->data);
2906                         if (reserved_word(dest, ctx)) {
2907                                 debug_printf_parse("done_word return %d\n", (ctx->res_w == RES_SNTX));
2908                                 return (ctx->res_w == RES_SNTX);
2909                         }
2910                 }
2911                 glob_target = &child->glob_result;
2912                 if (child->argv)
2913                         flags |= GLOB_APPEND;
2914         }
2915         gr = xglob(dest, flags, glob_target);
2916         if (gr != 0) {
2917                 debug_printf_parse("done_word return 1: xglob returned %d\n", gr);
2918                 return 1;
2919         }
2920
2921         b_reset(dest);
2922         if (ctx->pending_redirect) {
2923                 ctx->pending_redirect = NULL;
2924                 if (glob_target->gl_pathc != 1) {
2925                         bb_error_msg("ambiguous redirect");
2926                         debug_printf_parse("done_word return 1: ambiguous redirect\n");
2927                         return 1;
2928                 }
2929         } else {
2930                 child->argv = glob_target->gl_pathv;
2931         }
2932         if (ctx->res_w == RES_FOR) {
2933                 done_word(dest, ctx);
2934                 done_pipe(ctx, PIPE_SEQ);
2935         }
2936         debug_printf_parse("done_word return 0\n");
2937         return 0;
2938 }
2939
2940 /* The only possible error here is out of memory, in which case
2941  * xmalloc exits. */
2942 static int done_command(struct p_context *ctx)
2943 {
2944         /* The child is really already in the pipe structure, so
2945          * advance the pipe counter and make a new, null child. */
2946         struct pipe *pi = ctx->pipe;
2947         struct child_prog *child = ctx->child;
2948
2949         if (child) {
2950                 if (child->group == NULL
2951                  && child->argv == NULL
2952                  && child->redirects == NULL
2953                 ) {
2954                         debug_printf_parse("done_command: skipping null cmd, num_progs=%d\n", pi->num_progs);
2955                         return pi->num_progs;
2956                 }
2957                 pi->num_progs++;
2958                 debug_printf_parse("done_command: ++num_progs=%d\n", pi->num_progs);
2959         } else {
2960                 debug_printf_parse("done_command: initializing, num_progs=%d\n", pi->num_progs);
2961         }
2962
2963         /* Only real trickiness here is that the uncommitted
2964          * child structure is not counted in pi->num_progs. */
2965         pi->progs = xrealloc(pi->progs, sizeof(*pi->progs) * (pi->num_progs+1));
2966         child = &pi->progs[pi->num_progs];
2967
2968         memset(child, 0, sizeof(*child));
2969         /*child->redirects = NULL;*/
2970         /*child->argv = NULL;*/
2971         /*child->is_stopped = 0;*/
2972         /*child->group = NULL;*/
2973         /*child->glob_result.gl_pathv = NULL;*/
2974         child->family = pi;
2975         //sp: /*child->sp = 0;*/
2976         //pt: child->parse_type = ctx->parse_type;
2977
2978         ctx->child = child;
2979         /* but ctx->pipe and ctx->list_head remain unchanged */
2980
2981         return pi->num_progs; /* used only for 0/nonzero check */
2982 }
2983
2984 static int done_pipe(struct p_context *ctx, pipe_style type)
2985 {
2986         struct pipe *new_p;
2987         int not_null;
2988
2989         debug_printf_parse("done_pipe entered, followup %d\n", type);
2990         not_null = done_command(ctx);  /* implicit closure of previous command */
2991         ctx->pipe->followup = type;
2992         ctx->pipe->res_word = ctx->res_w;
2993         /* Without this check, even just <enter> on command line generates
2994          * tree of three NOPs (!). Which is harmless but annoying.
2995          * IOW: it is safe to do it unconditionally. */
2996         if (not_null) {
2997                 new_p = new_pipe();
2998                 ctx->pipe->next = new_p;
2999                 ctx->pipe = new_p;
3000                 ctx->child = NULL;
3001                 done_command(ctx);  /* set up new pipe to accept commands */
3002         }
3003         debug_printf_parse("done_pipe return 0\n");
3004         return 0;
3005 }
3006
3007 /* peek ahead in the in_str to find out if we have a "&n" construct,
3008  * as in "2>&1", that represents duplicating a file descriptor.
3009  * returns either -2 (syntax error), -1 (no &), or the number found.
3010  */
3011 static int redirect_dup_num(struct in_str *input)
3012 {
3013         int ch, d = 0, ok = 0;
3014         ch = b_peek(input);
3015         if (ch != '&') return -1;
3016
3017         b_getch(input);  /* get the & */
3018         ch = b_peek(input);
3019         if (ch == '-') {
3020                 b_getch(input);
3021                 return -3;  /* "-" represents "close me" */
3022         }
3023         while (isdigit(ch)) {
3024                 d = d*10 + (ch-'0');
3025                 ok = 1;
3026                 b_getch(input);
3027                 ch = b_peek(input);
3028         }
3029         if (ok) return d;
3030
3031         bb_error_msg("ambiguous redirect");
3032         return -2;
3033 }
3034
3035 /* If a redirect is immediately preceded by a number, that number is
3036  * supposed to tell which file descriptor to redirect.  This routine
3037  * looks for such preceding numbers.  In an ideal world this routine
3038  * needs to handle all the following classes of redirects...
3039  *     echo 2>foo     # redirects fd  2 to file "foo", nothing passed to echo
3040  *     echo 49>foo    # redirects fd 49 to file "foo", nothing passed to echo
3041  *     echo -2>foo    # redirects fd  1 to file "foo",    "-2" passed to echo
3042  *     echo 49x>foo   # redirects fd  1 to file "foo",   "49x" passed to echo
3043  * A -1 output from this program means no valid number was found, so the
3044  * caller should use the appropriate default for this redirection.
3045  */
3046 static int redirect_opt_num(o_string *o)
3047 {
3048         int num;
3049
3050         if (o->length == 0)
3051                 return -1;
3052         for (num = 0; num < o->length; num++) {
3053                 if (!isdigit(*(o->data + num))) {
3054                         return -1;
3055                 }
3056         }
3057         /* reuse num (and save an int) */
3058         num = atoi(o->data);
3059         b_reset(o);
3060         return num;
3061 }
3062
3063 #if ENABLE_HUSH_TICK
3064 static FILE *generate_stream_from_list(struct pipe *head)
3065 {
3066         FILE *pf;
3067         int pid, channel[2];
3068         if (pipe(channel) < 0) bb_perror_msg_and_die("pipe");
3069 #if BB_MMU
3070         pid = fork();
3071 #else
3072         pid = vfork();
3073 #endif
3074         if (pid < 0) {
3075                 bb_perror_msg_and_die("fork");
3076         } else if (pid == 0) {
3077                 close(channel[0]);
3078                 if (channel[1] != 1) {
3079                         dup2(channel[1], 1);
3080                         close(channel[1]);
3081                 }
3082                 _exit(run_list_real(head));   /* leaks memory */
3083         }
3084         debug_printf("forked child %d\n", pid);
3085         close(channel[1]);
3086         pf = fdopen(channel[0], "r");
3087         debug_printf("pipe on FILE *%p\n", pf);
3088         return pf;
3089 }
3090
3091 /* Return code is exit status of the process that is run. */
3092 static int process_command_subs(o_string *dest, struct p_context *ctx,
3093         struct in_str *input, const char *subst_end)
3094 {
3095         int retcode, ch, eol_cnt;
3096         o_string result = NULL_O_STRING;
3097         struct p_context inner;
3098         FILE *p;
3099         struct in_str pipe_str;
3100
3101         initialize_context(&inner);
3102
3103         /* recursion to generate command */
3104         retcode = parse_stream(&result, &inner, input, subst_end);
3105         if (retcode != 0) return retcode;  /* syntax error or EOF */
3106         done_word(&result, &inner);
3107         done_pipe(&inner, PIPE_SEQ);
3108         b_free(&result);
3109
3110         p = generate_stream_from_list(inner.list_head);
3111         if (p == NULL) return 1;
3112         mark_open(fileno(p));
3113         setup_file_in_str(&pipe_str, p);
3114
3115         /* now send results of command back into original context */
3116         eol_cnt = 0;
3117         while ((ch = b_getch(&pipe_str)) != EOF) {
3118                 if (ch == '\n') {
3119                         eol_cnt++;
3120                         continue;
3121                 }
3122                 while (eol_cnt) {
3123                         b_addqchr(dest, '\n', dest->quote);
3124                         eol_cnt--;
3125                 }
3126                 b_addqchr(dest, ch, dest->quote);
3127         }
3128
3129         debug_printf("done reading from pipe, pclose()ing\n");
3130         /* This is the step that wait()s for the child.  Should be pretty
3131          * safe, since we just read an EOF from its stdout.  We could try
3132          * to do better, by using wait(), and keeping track of background jobs
3133          * at the same time.  That would be a lot of work, and contrary
3134          * to the KISS philosophy of this program. */
3135         mark_closed(fileno(p));
3136         retcode = pclose(p);
3137         free_pipe_list(inner.list_head, 0);
3138         debug_printf("pclosed, retcode=%d\n", retcode);
3139         return retcode;
3140 }
3141 #endif
3142
3143 static int parse_group(o_string *dest, struct p_context *ctx,
3144         struct in_str *input, int ch)
3145 {
3146         int rcode;
3147         const char *endch = NULL;
3148         struct p_context sub;
3149         struct child_prog *child = ctx->child;
3150
3151         debug_printf_parse("parse_group entered\n");
3152         if (child->argv) {
3153                 syntax();
3154                 debug_printf_parse("parse_group return 1: syntax error, groups and arglists don't mix\n");
3155                 return 1;
3156         }
3157         initialize_context(&sub);
3158         switch (ch) {
3159         case '(':
3160                 endch = ")";
3161                 child->subshell = 1;
3162                 break;
3163         case '{':
3164                 endch = "}";
3165                 break;
3166         default:
3167                 syntax();   /* really logic error */
3168         }
3169         rcode = parse_stream(dest, &sub, input, endch);
3170         done_word(dest, &sub); /* finish off the final word in the subcontext */
3171         done_pipe(&sub, PIPE_SEQ);  /* and the final command there, too */
3172         child->group = sub.list_head;
3173
3174         debug_printf_parse("parse_group return %d\n", rcode);
3175         return rcode;
3176         /* child remains "open", available for possible redirects */
3177 }
3178
3179 /* Basically useful version until someone wants to get fancier,
3180  * see the bash man page under "Parameter Expansion" */
3181 static const char *lookup_param(const char *src)
3182 {
3183         const char *p = NULL;
3184         if (src) {
3185                 p = getenv(src);
3186                 if (!p)
3187                         p = get_local_var(src);
3188         }
3189         return p;
3190 }
3191
3192 /* Make new string for parser */
3193 static char* make_string(char **inp)
3194 {
3195         char *p;
3196         char *str = NULL;
3197         int n;
3198         int val_len;
3199         int len = 0;
3200
3201         for (n = 0; inp[n]; n++) {
3202                 p = expand_variables_to_string(inp[n]);
3203                 val_len = strlen(p);
3204                 str = xrealloc(str, len + val_len + 3); /* +3: space, '\n', <nul>*/
3205                 str[len++] = ' ';
3206                 strcpy(str + len, p);
3207                 len += val_len;
3208                 if (p != inp[n]) free(p);
3209         }
3210         /* We do not check for case where loop had no iterations at all
3211          * - cannot happen? */
3212         str[len] = '\n';
3213         str[len+1] = '\0';
3214         return str;
3215 }
3216
3217 /* return code: 0 for OK, 1 for syntax error */
3218 static int handle_dollar(o_string *dest, struct p_context *ctx, struct in_str *input)
3219 {
3220         int ch = b_peek(input);  /* first character after the $ */
3221         unsigned char quote_mask = dest->quote ? 0x80 : 0;
3222
3223         debug_printf_parse("handle_dollar entered: ch='%c'\n", ch);
3224         if (isalpha(ch)) {
3225                 b_addchr(dest, SPECIAL_VAR_SYMBOL);
3226                 //sp: ctx->child->sp++;
3227                 while (1) {
3228                         debug_printf_parse(": '%c'\n", ch);
3229                         b_getch(input);
3230                         b_addchr(dest, ch | quote_mask);
3231                         quote_mask = 0;
3232                         ch = b_peek(input);
3233                         if (!isalnum(ch) && ch != '_')
3234                                 break;
3235                 }
3236                 b_addchr(dest, SPECIAL_VAR_SYMBOL);
3237         } else if (isdigit(ch)) {
3238  make_one_char_var:
3239                 b_addchr(dest, SPECIAL_VAR_SYMBOL);
3240                 //sp: ctx->child->sp++;
3241                 debug_printf_parse(": '%c'\n", ch);
3242                 b_getch(input);
3243                 b_addchr(dest, ch | quote_mask);
3244                 b_addchr(dest, SPECIAL_VAR_SYMBOL);
3245         } else switch (ch) {
3246                 case '$': /* pid */
3247                 case '!': /* last bg pid */
3248                 case '?': /* last exit code */
3249                 case '#': /* number of args */
3250                 case '*': /* args */
3251                 case '@': /* args */
3252                         goto make_one_char_var;
3253                 case '{':
3254                         b_addchr(dest, SPECIAL_VAR_SYMBOL);
3255                         //sp: ctx->child->sp++;
3256                         b_getch(input);
3257                         /* XXX maybe someone will try to escape the '}' */
3258                         while (1) {
3259                                 ch = b_getch(input);
3260                                 if (ch == EOF) {
3261                                         syntax();
3262                                         debug_printf_parse("handle_dollar return 1: unterminated ${name}\n");
3263                                         return 1;
3264                                 }
3265                                 if (ch == '}')
3266                                         break;
3267                                 debug_printf_parse(": '%c'\n", ch);
3268                                 b_addchr(dest, ch | quote_mask);
3269                                 quote_mask = 0;
3270                         }
3271                         b_addchr(dest, SPECIAL_VAR_SYMBOL);
3272                         break;
3273 #if ENABLE_HUSH_TICK
3274                 case '(':
3275                         b_getch(input);
3276                         process_command_subs(dest, ctx, input, ")");
3277                         break;
3278 #endif
3279                 case '-':
3280                 case '_':
3281                         /* still unhandled, but should be eventually */
3282                         bb_error_msg("unhandled syntax: $%c", ch);
3283                         return 1;
3284                         break;
3285                 default:
3286                         b_addqchr(dest, '$', dest->quote);
3287         }
3288         debug_printf_parse("handle_dollar return 0\n");
3289         return 0;
3290 }
3291
3292 /* return code is 0 for normal exit, 1 for syntax error */
3293 static int parse_stream(o_string *dest, struct p_context *ctx,
3294         struct in_str *input, const char *end_trigger)
3295 {
3296         int ch, m;
3297         int redir_fd;
3298         redir_type redir_style;
3299         int next;
3300
3301         /* Only double-quote state is handled in the state variable dest->quote.
3302          * A single-quote triggers a bypass of the main loop until its mate is
3303          * found.  When recursing, quote state is passed in via dest->quote. */
3304
3305         debug_printf_parse("parse_stream entered, end_trigger='%s'\n", end_trigger);
3306
3307         while ((ch = b_getch(input)) != EOF) {
3308                 m = charmap[ch];
3309                 next = (ch == '\n') ? '\0' : b_peek(input);
3310                 debug_printf_parse(": ch=%c (%d) m=%d quote=%d\n",
3311                                                 ch, ch, m, dest->quote);
3312                 if (m == CHAR_ORDINARY
3313                  || (m != CHAR_SPECIAL && dest->quote)
3314                 ) {
3315                         b_addqchr(dest, ch, dest->quote);
3316                         continue;
3317                 }
3318                 if (m == CHAR_IFS) {
3319                         if (done_word(dest, ctx)) {
3320                                 debug_printf_parse("parse_stream return 1: done_word!=0\n");
3321                                 return 1;
3322                         }
3323                         /* If we aren't performing a substitution, treat
3324                          * a newline as a command separator.
3325                          * [why we don't handle it exactly like ';'? --vda] */
3326                         if (end_trigger && ch == '\n') {
3327                                 done_pipe(ctx, PIPE_SEQ);
3328                         }
3329                 }
3330                 if ((end_trigger && strchr(end_trigger, ch))
3331                  && !dest->quote && ctx->res_w == RES_NONE
3332                 ) {
3333                         debug_printf_parse("parse_stream return 0: end_trigger char found\n");
3334                         return 0;
3335                 }
3336                 if (m == CHAR_IFS)
3337                         continue;
3338                 switch (ch) {
3339                 case '#':
3340                         if (dest->length == 0 && !dest->quote) {
3341                                 while (1) {
3342                                         ch = b_peek(input);
3343                                         if (ch == EOF || ch == '\n')
3344                                                 break;
3345                                         b_getch(input);
3346                                 }
3347                         } else {
3348                                 b_addqchr(dest, ch, dest->quote);
3349                         }
3350                         break;
3351                 case '\\':
3352                         if (next == EOF) {
3353                                 syntax();
3354                                 debug_printf_parse("parse_stream return 1: \\<eof>\n");
3355                                 return 1;
3356                         }
3357                         b_addqchr(dest, '\\', dest->quote);
3358                         b_addqchr(dest, b_getch(input), dest->quote);
3359                         break;
3360                 case '$':
3361                         if (handle_dollar(dest, ctx, input) != 0) {
3362                                 debug_printf_parse("parse_stream return 1: handle_dollar returned non-0\n");
3363                                 return 1;
3364                         }
3365                         break;
3366                 case '\'':
3367                         dest->nonnull = 1;
3368                         while (1) {
3369                                 ch = b_getch(input);
3370                                 if (ch == EOF || ch == '\'')
3371                                         break;
3372                                 b_addchr(dest, ch);
3373                         }
3374                         if (ch == EOF) {
3375                                 syntax();
3376                                 debug_printf_parse("parse_stream return 1: unterminated '\n");
3377                                 return 1;
3378                         }
3379                         break;
3380                 case '"':
3381                         dest->nonnull = 1;
3382                         dest->quote = !dest->quote;
3383                         break;
3384 #if ENABLE_HUSH_TICK
3385                 case '`':
3386                         process_command_subs(dest, ctx, input, "`");
3387                         break;
3388 #endif
3389                 case '>':
3390                         redir_fd = redirect_opt_num(dest);
3391                         done_word(dest, ctx);
3392                         redir_style = REDIRECT_OVERWRITE;
3393                         if (next == '>') {
3394                                 redir_style = REDIRECT_APPEND;
3395                                 b_getch(input);
3396                         } else if (next == '(') {
3397                                 syntax();   /* until we support >(list) Process Substitution */
3398                                 debug_printf_parse("parse_stream return 1: >(process) not supported\n");
3399                                 return 1;
3400                         }
3401                         setup_redirect(ctx, redir_fd, redir_style, input);
3402                         break;
3403                 case '<':
3404                         redir_fd = redirect_opt_num(dest);
3405                         done_word(dest, ctx);
3406                         redir_style = REDIRECT_INPUT;
3407                         if (next == '<') {
3408                                 redir_style = REDIRECT_HEREIS;
3409                                 b_getch(input);
3410                         } else if (next == '>') {
3411                                 redir_style = REDIRECT_IO;
3412                                 b_getch(input);
3413                         } else if (next == '(') {
3414                                 syntax();   /* until we support <(list) Process Substitution */
3415                                 debug_printf_parse("parse_stream return 1: <(process) not supported\n");
3416                                 return 1;
3417                         }
3418                         setup_redirect(ctx, redir_fd, redir_style, input);
3419                         break;
3420                 case ';':
3421                         done_word(dest, ctx);
3422                         done_pipe(ctx, PIPE_SEQ);
3423                         break;
3424                 case '&':
3425                         done_word(dest, ctx);
3426                         if (next == '&') {
3427                                 b_getch(input);
3428                                 done_pipe(ctx, PIPE_AND);
3429                         } else {
3430                                 done_pipe(ctx, PIPE_BG);
3431                         }
3432                         break;
3433                 case '|':
3434                         done_word(dest, ctx);
3435                         if (next == '|') {
3436                                 b_getch(input);
3437                                 done_pipe(ctx, PIPE_OR);
3438                         } else {
3439                                 /* we could pick up a file descriptor choice here
3440                                  * with redirect_opt_num(), but bash doesn't do it.
3441                                  * "echo foo 2| cat" yields "foo 2". */
3442                                 done_command(ctx);
3443                         }
3444                         break;
3445                 case '(':
3446                 case '{':
3447                         if (parse_group(dest, ctx, input, ch) != 0) {
3448                                 debug_printf_parse("parse_stream return 1: parse_group returned non-0\n");
3449                                 return 1;
3450                         }
3451                         break;
3452                 case ')':
3453                 case '}':
3454                         syntax();   /* Proper use of this character is caught by end_trigger */
3455                         debug_printf_parse("parse_stream return 1: unexpected '}'\n");
3456                         return 1;
3457                 default:
3458                         syntax();   /* this is really an internal logic error */
3459                         debug_printf_parse("parse_stream return 1: internal logic error\n");
3460                         return 1;
3461                 }
3462         }
3463         /* Complain if quote?  No, maybe we just finished a command substitution
3464          * that was quoted.  Example:
3465          * $ echo "`cat foo` plus more"
3466          * and we just got the EOF generated by the subshell that ran "cat foo"
3467          * The only real complaint is if we got an EOF when end_trigger != NULL,
3468          * that is, we were really supposed to get end_trigger, and never got
3469          * one before the EOF.  Can't use the standard "syntax error" return code,
3470          * so that parse_stream_outer can distinguish the EOF and exit smoothly. */
3471         debug_printf_parse("parse_stream return %d\n", -(end_trigger != NULL));
3472         if (end_trigger)
3473                 return -1;
3474         return 0;
3475 }
3476
3477 static void set_in_charmap(const char *set, int code)
3478 {
3479         while (*set)
3480                 charmap[(unsigned char)*set++] = code;
3481 }
3482
3483 static void update_charmap(void)
3484 {
3485         /* char *ifs and char charmap[256] are both globals. */
3486         ifs = getenv("IFS");
3487         if (ifs == NULL)
3488                 ifs = " \t\n";
3489         /* Precompute a list of 'flow through' behavior so it can be treated
3490          * quickly up front.  Computation is necessary because of IFS.
3491          * Special case handling of IFS == " \t\n" is not implemented.
3492          * The charmap[] array only really needs two bits each,
3493          * and on most machines that would be faster (reduced L1 cache use).
3494          */
3495         memset(charmap, CHAR_ORDINARY, sizeof(charmap));
3496 #if ENABLE_HUSH_TICK
3497         set_in_charmap("\\$\"`", CHAR_SPECIAL);
3498 #else
3499         set_in_charmap("\\$\"", CHAR_SPECIAL);
3500 #endif
3501         set_in_charmap("<>;&|(){}#'", CHAR_ORDINARY_IF_QUOTED);
3502         set_in_charmap(ifs, CHAR_IFS);  /* are ordinary if quoted */
3503 }
3504
3505 /* most recursion does not come through here, the exception is
3506  * from builtin_source() */
3507 static int parse_stream_outer(struct in_str *inp, int parse_flag)
3508 {
3509         struct p_context ctx;
3510         o_string temp = NULL_O_STRING;
3511         int rcode;
3512         do {
3513                 ctx.parse_type = parse_flag;
3514                 initialize_context(&ctx);
3515                 update_charmap();
3516                 if (!(parse_flag & PARSEFLAG_SEMICOLON) || (parse_flag & PARSEFLAG_REPARSING))
3517                         set_in_charmap(";$&|", CHAR_ORDINARY);
3518 #if ENABLE_HUSH_INTERACTIVE
3519                 inp->promptmode = 1;
3520 #endif
3521                 /* We will stop & execute after each ';' or '\n'.
3522                  * Example: "sleep 9999; echo TEST" + ctrl-C:
3523                  * TEST should be printed */
3524                 rcode = parse_stream(&temp, &ctx, inp, ";\n");
3525                 if (rcode != 1 && ctx.old_flag != 0) {
3526                         syntax();
3527                 }
3528                 if (rcode != 1 && ctx.old_flag == 0) {
3529                         done_word(&temp, &ctx);
3530                         done_pipe(&ctx, PIPE_SEQ);
3531                         debug_print_tree(ctx.list_head, 0);
3532                         debug_printf_exec("parse_stream_outer: run_list\n");
3533                         run_list(ctx.list_head);
3534                 } else {
3535                         if (ctx.old_flag != 0) {
3536                                 free(ctx.stack);
3537                                 b_reset(&temp);
3538                         }
3539                         temp.nonnull = 0;
3540                         temp.quote = 0;
3541                         inp->p = NULL;
3542                         free_pipe_list(ctx.list_head, 0);
3543                 }
3544                 b_free(&temp);
3545         } while (rcode != -1 && !(parse_flag & PARSEFLAG_EXIT_FROM_LOOP));   /* loop on syntax errors, return on EOF */
3546         return 0;
3547 }
3548
3549 static int parse_string_outer(const char *s, int parse_flag)
3550 {
3551         struct in_str input;
3552         setup_string_in_str(&input, s);
3553         return parse_stream_outer(&input, parse_flag);
3554 }
3555
3556 static int parse_file_outer(FILE *f)
3557 {
3558         int rcode;
3559         struct in_str input;
3560         setup_file_in_str(&input, f);
3561         rcode = parse_stream_outer(&input, PARSEFLAG_SEMICOLON);
3562         return rcode;
3563 }
3564
3565 #if ENABLE_HUSH_JOB
3566 /* Make sure we have a controlling tty.  If we get started under a job
3567  * aware app (like bash for example), make sure we are now in charge so
3568  * we don't fight over who gets the foreground */
3569 static void setup_job_control(void)
3570 {
3571         pid_t shell_pgrp;
3572
3573         saved_task_pgrp = shell_pgrp = getpgrp();
3574         debug_printf_jobs("saved_task_pgrp=%d\n", saved_task_pgrp);
3575         fcntl(interactive_fd, F_SETFD, FD_CLOEXEC);
3576
3577         /* If we were ran as 'hush &',
3578          * sleep until we are in the foreground.  */
3579         while (tcgetpgrp(interactive_fd) != shell_pgrp) {
3580                 /* Send TTIN to ourself (should stop us) */
3581                 kill(- shell_pgrp, SIGTTIN);
3582                 shell_pgrp = getpgrp();
3583         }
3584
3585         /* Ignore job-control and misc signals.  */
3586         set_jobctrl_sighandler(SIG_IGN);
3587         set_misc_sighandler(SIG_IGN);
3588 //huh?  signal(SIGCHLD, SIG_IGN);
3589
3590         /* We _must_ restore tty pgrp on fatal signals */
3591         set_fatal_sighandler(sigexit);
3592
3593         /* Put ourselves in our own process group.  */
3594         setpgrp(); /* is the same as setpgid(our_pid, our_pid); */
3595         /* Grab control of the terminal.  */
3596         tcsetpgrp(interactive_fd, getpid());
3597 }
3598 #endif
3599
3600 int hush_main(int argc, char **argv);
3601 int hush_main(int argc, char **argv)
3602 {
3603         int opt;
3604         FILE *input;
3605         char **e;
3606
3607         PTR_TO_GLOBALS = xzalloc(sizeof(G));
3608         top_vars = &shell_ver;
3609         shell_ver = const_shell_ver; /* copying struct here */
3610
3611 #if ENABLE_FEATURE_EDITING
3612         line_input_state = new_line_input_t(FOR_SHELL);
3613 #endif
3614         /* XXX what should these be while sourcing /etc/profile? */
3615         global_argc = argc;
3616         global_argv = argv;
3617         /* Initialize some more globals to non-zero values */
3618         set_cwd();
3619 #if ENABLE_HUSH_INTERACTIVE
3620 #if ENABLE_FEATURE_EDITING
3621         cmdedit_set_initial_prompt();
3622 #endif
3623         PS2 = "> ";
3624 #endif
3625
3626         /* initialize our shell local variables with the values
3627          * currently living in the environment */
3628         e = environ;
3629         if (e)
3630                 while (*e)
3631                         set_local_var(*e++, 2);   /* without call putenv() */
3632
3633         last_return_code = EXIT_SUCCESS;
3634
3635         if (argv[0] && argv[0][0] == '-') {
3636                 debug_printf("sourcing /etc/profile\n");
3637                 input = fopen("/etc/profile", "r");
3638                 if (input != NULL) {
3639                         mark_open(fileno(input));
3640                         parse_file_outer(input);
3641                         mark_closed(fileno(input));
3642                         fclose(input);
3643                 }
3644         }
3645         input = stdin;
3646
3647         while ((opt = getopt(argc, argv, "c:xif")) > 0) {
3648                 switch (opt) {
3649                 case 'c':
3650                         global_argv = argv + optind;
3651                         global_argc = argc - optind;
3652                         opt = parse_string_outer(optarg, PARSEFLAG_SEMICOLON);
3653                         goto final_return;
3654                 case 'i':
3655                         /* Well, we cannot just declare interactiveness,
3656                          * we have to have some stuff (ctty, etc) */
3657                         /* interactive_fd++; */
3658                         break;
3659                 case 'f':
3660                         fake_mode = 1;
3661                         break;
3662                 default:
3663 #ifndef BB_VER
3664                         fprintf(stderr, "Usage: sh [FILE]...\n"
3665                                         "   or: sh -c command [args]...\n\n");
3666                         exit(EXIT_FAILURE);
3667 #else
3668                         bb_show_usage();
3669 #endif
3670                 }
3671         }
3672 #if ENABLE_HUSH_JOB
3673         /* A shell is interactive if the '-i' flag was given, or if all of
3674          * the following conditions are met:
3675          *    no -c command
3676          *    no arguments remaining or the -s flag given
3677          *    standard input is a terminal
3678          *    standard output is a terminal
3679          *    Refer to Posix.2, the description of the 'sh' utility. */
3680         if (argv[optind] == NULL && input == stdin
3681          && isatty(STDIN_FILENO) && isatty(STDOUT_FILENO)
3682         ) {
3683                 saved_tty_pgrp = tcgetpgrp(STDIN_FILENO);
3684                 debug_printf("saved_tty_pgrp=%d\n", saved_tty_pgrp);
3685                 if (saved_tty_pgrp >= 0) {
3686                         /* try to dup to high fd#, >= 255 */
3687                         interactive_fd = fcntl(STDIN_FILENO, F_DUPFD, 255);
3688                         if (interactive_fd < 0) {
3689                                 /* try to dup to any fd */
3690                                 interactive_fd = dup(STDIN_FILENO);
3691                                 if (interactive_fd < 0)
3692                                         /* give up */
3693                                         interactive_fd = 0;
3694                         }
3695                         // TODO: track & disallow any attempts of user
3696                         // to (inadvertently) close/redirect it
3697                 }
3698         }
3699         debug_printf("interactive_fd=%d\n", interactive_fd);
3700         if (interactive_fd) {
3701                 /* Looks like they want an interactive shell */
3702                 setup_job_control();
3703                 /* Make xfuncs do cleanup on exit */
3704                 die_sleep = -1; /* flag */
3705 // FIXME: should we reset die_sleep = 0 whereever we fork?
3706                 if (setjmp(die_jmp)) {
3707                         /* xfunc has failed! die die die */
3708                         hush_exit(xfunc_error_retval);
3709                 }
3710 #if !ENABLE_FEATURE_SH_EXTRA_QUIET
3711                 printf("\n\n%s hush - the humble shell v"HUSH_VER_STR"\n", BB_BANNER);
3712                 printf("Enter 'help' for a list of built-in commands.\n\n");
3713 #endif
3714         }
3715 #elif ENABLE_HUSH_INTERACTIVE
3716 /* no job control compiled, only prompt/line editing */
3717         if (argv[optind] == NULL && input == stdin
3718          && isatty(STDIN_FILENO) && isatty(STDOUT_FILENO)
3719         ) {
3720                 interactive_fd = fcntl(STDIN_FILENO, F_DUPFD, 255);
3721                 if (interactive_fd < 0) {
3722                         /* try to dup to any fd */
3723                         interactive_fd = dup(STDIN_FILENO);
3724                         if (interactive_fd < 0)
3725                                 /* give up */
3726                                 interactive_fd = 0;
3727                 }
3728         }
3729
3730 #endif
3731
3732         if (argv[optind] == NULL) {
3733                 opt = parse_file_outer(stdin);
3734                 goto final_return;
3735         }
3736
3737         debug_printf("\nrunning script '%s'\n", argv[optind]);
3738         global_argv = argv + optind;
3739         global_argc = argc - optind;
3740         input = xfopen(argv[optind], "r");
3741         opt = parse_file_outer(input);
3742
3743 #if ENABLE_FEATURE_CLEAN_UP
3744         fclose(input);
3745         if (cwd != bb_msg_unknown)
3746                 free((char*)cwd);
3747         {
3748                 struct variables *cur, *tmp;
3749                 for (cur = top_vars; cur; cur = tmp) {
3750                         tmp = cur->next;
3751                         if (!cur->flg_read_only) {
3752                                 free((char*)cur->name);
3753                                 free((char*)cur->value);
3754                                 free(cur);
3755                         }
3756                 }
3757         }
3758 #endif
3759
3760  final_return:
3761         hush_exit(opt ? opt : last_return_code);
3762 }