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