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  *      simple_itoa() was lifted from boa-0.93.15
  24  *      b_addchr() derived from similar w_addchar function in glibc-2.2
  25  *      setup_redirect(), redirect_opt_num(), and big chunks of main()
  26  *        and many builtins derived from contributions by Erik Andersen
  27  *      miscellaneous bugfixes from Matt Kraai
  28  *
  29  * There are two big (and related) architecture differences between
  30  * this parser and the lash parser.  One is that this version is
  31  * actually designed from the ground up to understand nearly all
  32  * of the Bourne grammar.  The second, consequential change is that
  33  * the parser and input reader have been turned inside out.  Now,
  34  * the parser is in control, and asks for input as needed.  The old
  35  * way had the input reader in control, and it asked for parsing to
  36  * take place as needed.  The new way makes it much easier to properly
  37  * handle the recursion implicit in the various substitutions, especially
  38  * across continuation lines.
  39  *
  40  * Bash grammar not implemented: (how many of these were in original sh?)
  41  *      $@ (those sure look like weird quoting rules)
  42  *      $_
  43  *      ! negation operator for pipes
  44  *      &> and >& redirection of stdout+stderr
  45  *      Brace Expansion
  46  *      Tilde Expansion
  47  *      fancy forms of Parameter Expansion
  48  *      aliases
  49  *      Arithmetic Expansion
  50  *      <(list) and >(list) Process Substitution
  51  *      reserved words: case, esac, select, function
  52  *      Here Documents ( << word )
  53  *      Functions
  54  * Major bugs:
  55  *      job handling woefully incomplete and buggy
  56  *      reserved word execution woefully incomplete and buggy
  57  * to-do:
  58  *      port selected bugfixes from post-0.49 busybox lash - done?
  59  *      finish implementing reserved words: for, while, until, do, done
  60  *      change { and } from special chars to reserved words
  61  *      builtins: break, continue, eval, return, set, trap, ulimit
  62  *      test magic exec
  63  *      handle children going into background
  64  *      clean up recognition of null pipes
  65  *      check setting of global_argc and global_argv
  66  *      control-C handling, probably with longjmp
  67  *      follow IFS rules more precisely, including update semantics
  68  *      figure out what to do with backslash-newline
  69  *      explain why we use signal instead of sigaction
  70  *      propagate syntax errors, die on resource errors?
  71  *      continuation lines, both explicit and implicit - done?
  72  *      memory leak finding and plugging - done?
  73  *      more testing, especially quoting rules and redirection
  74  *      document how quoting rules not precisely followed for variable assignments
  75  *      maybe change map[] to use 2-bit entries
  76  *      (eventually) remove all the printf's
  77  *
  78  * Licensed under the GPL v2 or later, see the file LICENSE in this tarball.
  79  */
  80
  81 #include "busybox.h"
  82 #include <glob.h>      /* glob, of course */
  83 #include <getopt.h>    /* should be pretty obvious */
  84
  85 //#include <sys/wait.h>
  86 //#include <signal.h>
  87
  88 /* #include <dmalloc.h> */
  89 /* #define DEBUG_SHELL */
  90
  91
  92 #define SPECIAL_VAR_SYMBOL 03
  93 #define FLAG_EXIT_FROM_LOOP 1
  94 #define FLAG_PARSE_SEMICOLON (1 << 1)           /* symbol ';' is special for parser */
  95 #define FLAG_REPARSING           (1 << 2)               /* >=2nd pass */
  96
  97 typedef enum {
  98         REDIRECT_INPUT     = 1,
  99         REDIRECT_OVERWRITE = 2,
 100         REDIRECT_APPEND    = 3,
 101         REDIRECT_HEREIS    = 4,
 102         REDIRECT_IO        = 5
 103 } redir_type;
 104
 105 /* The descrip member of this structure is only used to make debugging
 106  * output pretty */
 107 static const struct {
 108         int mode;
 109         int default_fd;
 110         const char *descrip;
 111 } redir_table[] = {
 112         { 0,                         0, "()" },
 113         { O_RDONLY,                  0, "<"  },
 114         { O_CREAT|O_TRUNC|O_WRONLY,  1, ">"  },
 115         { O_CREAT|O_APPEND|O_WRONLY, 1, ">>" },
 116         { O_RDONLY,                 -1, "<<" },
 117         { O_RDWR,                    1, "<>" }
 118 };
 119
 120 typedef enum {
 121         PIPE_SEQ = 1,
 122         PIPE_AND = 2,
 123         PIPE_OR  = 3,
 124         PIPE_BG  = 4,
 125 } pipe_style;
 126
 127 /* might eventually control execution */
 128 typedef enum {
 129         RES_NONE  = 0,
 130         RES_IF    = 1,
 131         RES_THEN  = 2,
 132         RES_ELIF  = 3,
 133         RES_ELSE  = 4,
 134         RES_FI    = 5,
 135         RES_FOR   = 6,
 136         RES_WHILE = 7,
 137         RES_UNTIL = 8,
 138         RES_DO    = 9,
 139         RES_DONE  = 10,
 140         RES_XXXX  = 11,
 141         RES_IN    = 12,
 142         RES_SNTX  = 13
 143 } reserved_style;
 144 #define FLAG_END   (1<<RES_NONE)
 145 #define FLAG_IF    (1<<RES_IF)
 146 #define FLAG_THEN  (1<<RES_THEN)
 147 #define FLAG_ELIF  (1<<RES_ELIF)
 148 #define FLAG_ELSE  (1<<RES_ELSE)
 149 #define FLAG_FI    (1<<RES_FI)
 150 #define FLAG_FOR   (1<<RES_FOR)
 151 #define FLAG_WHILE (1<<RES_WHILE)
 152 #define FLAG_UNTIL (1<<RES_UNTIL)
 153 #define FLAG_DO    (1<<RES_DO)
 154 #define FLAG_DONE  (1<<RES_DONE)
 155 #define FLAG_IN    (1<<RES_IN)
 156 #define FLAG_START (1<<RES_XXXX)
 157
 158 /* This holds pointers to the various results of parsing */
 159 struct p_context {
 160         struct child_prog *child;
 161         struct pipe *list_head;
 162         struct pipe *pipe;
 163         struct redir_struct *pending_redirect;
 164         reserved_style w;
 165         int old_flag;               /* for figuring out valid reserved words */
 166         struct p_context *stack;
 167         int type;           /* define type of parser : ";$" common or special symbol */
 168         /* How about quoting status? */
 169 };
 170
 171 struct redir_struct {
 172         redir_type type;            /* type of redirection */
 173         int fd;                     /* file descriptor being redirected */
 174         int dup;                    /* -1, or file descriptor being duplicated */
 175         struct redir_struct *next;  /* pointer to the next redirect in the list */
 176         glob_t word;                /* *word.gl_pathv is the filename */
 177 };
 178
 179 struct child_prog {
 180         pid_t pid;                  /* 0 if exited */
 181         char **argv;                /* program name and arguments */
 182         struct pipe *group;         /* if non-NULL, first in group or subshell */
 183         int subshell;               /* flag, non-zero if group must be forked */
 184         struct redir_struct *redirects; /* I/O redirections */
 185         glob_t glob_result;         /* result of parameter globbing */
 186         int is_stopped;             /* is the program currently running? */
 187         struct pipe *family;        /* pointer back to the child's parent pipe */
 188         int sp;                     /* number of SPECIAL_VAR_SYMBOL */
 189         int type;
 190 };
 191
 192 struct pipe {
 193         int jobid;                  /* job number */
 194         int num_progs;              /* total number of programs in job */
 195         int running_progs;          /* number of programs running */
 196         char *text;                 /* name of job */
 197         char *cmdbuf;               /* buffer various argv's point into */
 198         pid_t pgrp;                 /* process group ID for the job */
 199         struct child_prog *progs;   /* array of commands in pipe */
 200         struct pipe *next;          /* to track background commands */
 201         int stopped_progs;          /* number of programs alive, but stopped */
 202         int job_context;            /* bitmask defining current context */
 203         pipe_style followup;        /* PIPE_BG, PIPE_SEQ, PIPE_OR, PIPE_AND */
 204         reserved_style r_mode;      /* supports if, for, while, until */
 205 };
 206
 207 struct close_me {
 208         int fd;
 209         struct close_me *next;
 210 };
 211
 212 struct variables {
 213         const char *name;
 214         const char *value;
 215         int flg_export;
 216         int flg_read_only;
 217         struct variables *next;
 218 };
 219
 220 /* globals, connect us to the outside world
 221  * the first three support $?, $#, and $1 */
 222 static char **global_argv;
 223 static int global_argc;
 224 static int last_return_code;
 225 extern char **environ; /* This is in <unistd.h>, but protected with __USE_GNU */
 226
 227 /* "globals" within this file */
 228 static const char *ifs;
 229 static unsigned char map[256];
 230 static int fake_mode;
 231 static int interactive;
 232 static struct close_me *close_me_head;
 233 static const char *cwd;
 234 static struct pipe *job_list;
 235 static unsigned last_bg_pid;
 236 static int last_jobid;
 237 static unsigned shell_terminal;
 238 static const char *PS1;
 239 static const char *PS2;
 240 static struct variables shell_ver = { "HUSH_VERSION", "0.01", 1, 1, 0 };
 241 static struct variables *top_vars = &shell_ver;
 242
 243
 244 #define B_CHUNK (100)
 245 #define B_NOSPAC 1
 246
 247 typedef struct {
 248         char *data;
 249         int length;
 250         int maxlen;
 251         int quote;
 252         int nonnull;
 253 } o_string;
 254 #define NULL_O_STRING {NULL,0,0,0,0}
 255 /* used for initialization:
 256         o_string foo = NULL_O_STRING; */
 257
 258 /* I can almost use ordinary FILE *.  Is open_memstream() universally
 259  * available?  Where is it documented? */
 260 struct in_str {
 261         const char *p;
 262         char peek_buf[2];
 263         int __promptme;
 264         int promptmode;
 265         FILE *file;
 266         int (*get) (struct in_str *);
 267         int (*peek) (struct in_str *);
 268 };
 269 #define b_getch(input) ((input)->get(input))
 270 #define b_peek(input) ((input)->peek(input))
 271
 272 #define JOB_STATUS_FORMAT "[%d] %-22s %.40s\n"
 273
 274 struct built_in_command {
 275         const char *cmd;                        /* name */
 276         const char *descr;                      /* description */
 277         int (*function) (struct child_prog *);  /* function ptr */
 278 };
 279
 280 /* belongs in busybox.h */
 281 static int max(int a, int b)
 282 {
 283         return (a>b)?a:b;
 284 }
 285
 286 /* This should be in utility.c */
 287 #ifdef DEBUG_SHELL
 288 static void debug_printf(const char *format, ...)
 289 {
 290         va_list args;
 291         va_start(args, format);
 292         vfprintf(stderr, format, args);
 293         va_end(args);
 294 }
 295 /* broken, of course, but OK for testing */
 296 static char *indenter(int i)
 297 {
 298         static char blanks[] = "                                    ";
 299         return &blanks[sizeof(blanks)-i-1];
 300 }
 301 #else
 302 #define debug_printf(...) do {;} while (0);
 303 #endif
 304 #define final_printf debug_printf
 305
 306 static void __syntax(const char *file, int line)
 307 {
 308         bb_error_msg("syntax error %s:%d", file, line);
 309 }
 310 // NB: was __FILE__, but that produces full path sometimess, so...
 311 #define syntax() __syntax("hush.c", __LINE__)
 312
 313 /* Index of subroutines: */
 314 /*   function prototypes for builtins */
 315 static int builtin_cd(struct child_prog *child);
 316 static int builtin_env(struct child_prog *child);
 317 static int builtin_eval(struct child_prog *child);
 318 static int builtin_exec(struct child_prog *child);
 319 static int builtin_exit(struct child_prog *child);
 320 static int builtin_export(struct child_prog *child);
 321 static int builtin_fg_bg(struct child_prog *child);
 322 static int builtin_help(struct child_prog *child);
 323 static int builtin_jobs(struct child_prog *child);
 324 static int builtin_pwd(struct child_prog *child);
 325 static int builtin_read(struct child_prog *child);
 326 static int builtin_set(struct child_prog *child);
 327 static int builtin_shift(struct child_prog *child);
 328 static int builtin_source(struct child_prog *child);
 329 static int builtin_umask(struct child_prog *child);
 330 static int builtin_unset(struct child_prog *child);
 331 static int builtin_not_written(struct child_prog *child);
 332 /*   o_string manipulation: */
 333 static int b_check_space(o_string *o, int len);
 334 static int b_addchr(o_string *o, int ch);
 335 static void b_reset(o_string *o);
 336 static int b_addqchr(o_string *o, int ch, int quote);
 337 static int b_adduint(o_string *o, unsigned i);
 338 /*  in_str manipulations: */
 339 static int static_get(struct in_str *i);
 340 static int static_peek(struct in_str *i);
 341 static int file_get(struct in_str *i);
 342 static int file_peek(struct in_str *i);
 343 static void setup_file_in_str(struct in_str *i, FILE *f);
 344 static void setup_string_in_str(struct in_str *i, const char *s);
 345 /*  close_me manipulations: */
 346 static void mark_open(int fd);
 347 static void mark_closed(int fd);
 348 static void close_all(void);
 349 /*  "run" the final data structures: */
 350 static int free_pipe_list(struct pipe *head, int indent);
 351 static int free_pipe(struct pipe *pi, int indent);
 352 /*  really run the final data structures: */
 353 static int setup_redirects(struct child_prog *prog, int squirrel[]);
 354 static int run_list_real(struct pipe *pi);
 355 static void pseudo_exec(struct child_prog *child) ATTRIBUTE_NORETURN;
 356 static int run_pipe_real(struct pipe *pi);
 357 /*   extended glob support: */
 358 static int globhack(const char *src, int flags, glob_t *pglob);
 359 static int glob_needed(const char *s);
 360 static int xglob(o_string *dest, int flags, glob_t *pglob);
 361 /*   variable assignment: */
 362 static int is_assignment(const char *s);
 363 /*   data structure manipulation: */
 364 static int setup_redirect(struct p_context *ctx, int fd, redir_type style, struct in_str *input);
 365 static void initialize_context(struct p_context *ctx);
 366 static int done_word(o_string *dest, struct p_context *ctx);
 367 static int done_command(struct p_context *ctx);
 368 static int done_pipe(struct p_context *ctx, pipe_style type);
 369 /*   primary string parsing: */
 370 static int redirect_dup_num(struct in_str *input);
 371 static int redirect_opt_num(o_string *o);
 372 static int process_command_subs(o_string *dest, struct p_context *ctx, struct in_str *input, int subst_end);
 373 static int parse_group(o_string *dest, struct p_context *ctx, struct in_str *input, int ch);
 374 static const char *lookup_param(const char *src);
 375 static char *make_string(char **inp);
 376 static int handle_dollar(o_string *dest, struct p_context *ctx, struct in_str *input);
 377 static int parse_string(o_string *dest, struct p_context *ctx, const char *src);
 378 static int parse_stream(o_string *dest, struct p_context *ctx, struct in_str *input0, int end_trigger);
 379 /*   setup: */
 380 static int parse_stream_outer(struct in_str *inp, int flag);
 381 static int parse_string_outer(const char *s, int flag);
 382 static int parse_file_outer(FILE *f);
 383 /*   job management: */
 384 static int checkjobs(struct pipe* fg_pipe);
 385 static void insert_bg_job(struct pipe *pi);
 386 static void remove_bg_job(struct pipe *pi);
 387 /*     local variable support */
 388 static char **make_list_in(char **inp, char *name);
 389 static char *insert_var_value(char *inp);
 390 static const char *get_local_var(const char *var);
 391 static void  unset_local_var(const char *name);
 392 static int set_local_var(const char *s, int flg_export);
 393
 394 /* Table of built-in functions.  They can be forked or not, depending on
 395  * context: within pipes, they fork.  As simple commands, they do not.
 396  * When used in non-forking context, they can change global variables
 397  * in the parent shell process.  If forked, of course they cannot.
 398  * For example, 'unset foo | whatever' will parse and run, but foo will
 399  * still be set at the end. */
 400 static const struct built_in_command bltins[] = {
 401         { "bg", "Resume a job in the background", builtin_fg_bg },
 402         { "break", "Exit for, while or until loop", builtin_not_written },
 403         { "cd", "Change working directory", builtin_cd },
 404         { "continue", "Continue for, while or until loop", builtin_not_written },
 405         { "env", "Print all environment variables", builtin_env },
 406         { "eval", "Construct and run shell command", builtin_eval },
 407         { "exec", "Exec command, replacing this shell with the exec'd process",
 408                 builtin_exec },
 409         { "exit", "Exit from shell()", builtin_exit },
 410         { "export", "Set environment variable", builtin_export },
 411         { "fg", "Bring job into the foreground", builtin_fg_bg },
 412         { "jobs", "Lists the active jobs", builtin_jobs },
 413         { "pwd", "Print current directory", builtin_pwd },
 414         { "read", "Input environment variable", builtin_read },
 415         { "return", "Return from a function", builtin_not_written },
 416         { "set", "Set/unset shell local variables", builtin_set },
 417         { "shift", "Shift positional parameters", builtin_shift },
 418         { "trap", "Trap signals", builtin_not_written },
 419         { "ulimit","Controls resource limits", builtin_not_written },
 420         { "umask","Sets file creation mask", builtin_umask },
 421         { "unset", "Unset environment variable", builtin_unset },
 422         { ".", "Source-in and run commands in a file", builtin_source },
 423         { "help", "List shell built-in commands", builtin_help },
 424         { NULL, NULL, NULL }
 425 };
 426
 427 static const char *set_cwd(void)
 428 {
 429         if (cwd == bb_msg_unknown)
 430                 cwd = NULL;     /* xrealloc_getcwd_or_warn(arg) calls free(arg)! */
 431         cwd = xrealloc_getcwd_or_warn((char *)cwd);
 432         if (!cwd)
 433                 cwd = bb_msg_unknown;
 434         return cwd;
 435 }
 436
 437 /* built-in 'eval' handler */
 438 static int builtin_eval(struct child_prog *child)
 439 {
 440         char *str = NULL;
 441         int rcode = EXIT_SUCCESS;
 442
 443         if (child->argv[1]) {
 444                 str = make_string(child->argv + 1);
 445                 parse_string_outer(str, FLAG_EXIT_FROM_LOOP |
 446                                         FLAG_PARSE_SEMICOLON);
 447                 free(str);
 448                 rcode = last_return_code;
 449         }
 450         return rcode;
 451 }
 452
 453 /* built-in 'cd <path>' handler */
 454 static int builtin_cd(struct child_prog *child)
 455 {
 456         char *newdir;
 457         if (child->argv[1] == NULL)
 458                 newdir = getenv("HOME");
 459         else
 460                 newdir = child->argv[1];
 461         if (chdir(newdir)) {
 462                 printf("cd: %s: %s\n", newdir, strerror(errno));
 463                 return EXIT_FAILURE;
 464         }
 465         set_cwd();
 466         return EXIT_SUCCESS;
 467 }
 468
 469 /* built-in 'env' handler */
 470 static int builtin_env(struct child_prog *dummy ATTRIBUTE_UNUSED)
 471 {
 472         char **e = environ;
 473         if (e == NULL)
 474                 return EXIT_FAILURE;
 475         while (*e) {
 476                 puts(*e++);
 477         }
 478         return EXIT_SUCCESS;
 479 }
 480
 481 /* built-in 'exec' handler */
 482 static int builtin_exec(struct child_prog *child)
 483 {
 484         if (child->argv[1] == NULL)
 485                 return EXIT_SUCCESS;   /* Really? */
 486         child->argv++;
 487         pseudo_exec(child);
 488         /* never returns */
 489 }
 490
 491 /* built-in 'exit' handler */
 492 static int builtin_exit(struct child_prog *child)
 493 {
 494         if (child->argv[1] == NULL)
 495                 exit(last_return_code);
 496         exit(atoi(child->argv[1]));
 497 }
 498
 499 /* built-in 'export VAR=value' handler */
 500 static int builtin_export(struct child_prog *child)
 501 {
 502         int res = 0;
 503         char *name = child->argv[1];
 504
 505         if (name == NULL) {
 506                 return builtin_env(child);
 507         }
 508
 509         name = strdup(name);
 510
 511         if (name) {
 512                 const char *value = strchr(name, '=');
 513
 514                 if (!value) {
 515                         char *tmp;
 516                         /* They are exporting something without an =VALUE */
 517
 518                         value = get_local_var(name);
 519                         if (value) {
 520                                 size_t ln = strlen(name);
 521
 522                                 tmp = realloc(name, ln+strlen(value)+2);
 523                                 if (tmp == NULL)
 524                                         res = -1;
 525                                 else {
 526                                         sprintf(tmp+ln, "=%s", value);
 527                                         name = tmp;
 528                                 }
 529                         } else {
 530                                 /* bash does not return an error when trying to export
 531                                  * an undefined variable.  Do likewise. */
 532                                 res = 1;
 533                         }
 534                 }
 535         }
 536         if (res < 0)
 537                 bb_perror_msg("export");
 538         else if (res == 0)
 539                 res = set_local_var(name, 1);
 540         else
 541                 res = 0;
 542         free(name);
 543         return res;
 544 }
 545
 546 /* built-in 'fg' and 'bg' handler */
 547 static int builtin_fg_bg(struct child_prog *child)
 548 {
 549         int i, jobnum;
 550         struct pipe *pi = NULL;
 551
 552         if (!interactive)
 553                 return EXIT_FAILURE;
 554         /* If they gave us no args, assume they want the last backgrounded task */
 555         if (!child->argv[1]) {
 556                 for (pi = job_list; pi; pi = pi->next) {
 557                         if (pi->jobid == last_jobid) {
 558                                 break;
 559                         }
 560                 }
 561                 if (!pi) {
 562                         bb_error_msg("%s: no current job", child->argv[0]);
 563                         return EXIT_FAILURE;
 564                 }
 565         } else {
 566                 if (sscanf(child->argv[1], "%%%d", &jobnum) != 1) {
 567                         bb_error_msg("%s: bad argument '%s'", child->argv[0], child->argv[1]);
 568                         return EXIT_FAILURE;
 569                 }
 570                 for (pi = job_list; pi; pi = pi->next) {
 571                         if (pi->jobid == jobnum) {
 572                                 break;
 573                         }
 574                 }
 575                 if (!pi) {
 576                         bb_error_msg("%s: %d: no such job", child->argv[0], jobnum);
 577                         return EXIT_FAILURE;
 578                 }
 579         }
 580
 581         if (*child->argv[0] == 'f') {
 582                 /* Put the job into the foreground.  */
 583                 tcsetpgrp(shell_terminal, pi->pgrp);
 584         }
 585
 586         /* Restart the processes in the job */
 587         for (i = 0; i < pi->num_progs; i++)
 588                 pi->progs[i].is_stopped = 0;
 589
 590         i = kill(- pi->pgrp, SIGCONT);
 591         if (i < 0) {
 592                 if (i == ESRCH) {
 593                         remove_bg_job(pi);
 594                 } else {
 595                         bb_perror_msg("kill (SIGCONT)");
 596                 }
 597         }
 598
 599         pi->stopped_progs = 0;
 600         return EXIT_SUCCESS;
 601 }
 602
 603 /* built-in 'help' handler */
 604 static int builtin_help(struct child_prog *dummy ATTRIBUTE_UNUSED)
 605 {
 606         const struct built_in_command *x;
 607
 608         printf("\nBuilt-in commands:\n");
 609         printf("-------------------\n");
 610         for (x = bltins; x->cmd; x++) {
 611                 if (x->descr == NULL)
 612                         continue;
 613                 printf("%s\t%s\n", x->cmd, x->descr);
 614         }
 615         printf("\n\n");
 616         return EXIT_SUCCESS;
 617 }
 618
 619 /* built-in 'jobs' handler */
 620 static int builtin_jobs(struct child_prog *child ATTRIBUTE_UNUSED)
 621 {
 622         struct pipe *job;
 623         const char *status_string;
 624
 625         for (job = job_list; job; job = job->next) {
 626                 if (job->running_progs == job->stopped_progs)
 627                         status_string = "Stopped";
 628                 else
 629                         status_string = "Running";
 630
 631                 printf(JOB_STATUS_FORMAT, job->jobid, status_string, job->text);
 632         }
 633         return EXIT_SUCCESS;
 634 }
 635
 636 /* built-in 'pwd' handler */
 637 static int builtin_pwd(struct child_prog *dummy ATTRIBUTE_UNUSED)
 638 {
 639         puts(set_cwd());
 640         return EXIT_SUCCESS;
 641 }
 642
 643 /* built-in 'read VAR' handler */
 644 static int builtin_read(struct child_prog *child)
 645 {
 646         int res;
 647
 648         if (child->argv[1]) {
 649                 char string[BUFSIZ];
 650                 char *var = NULL;
 651
 652                 string[0] = '\0';  /* In case stdin has only EOF */
 653                 /* read string */
 654                 fgets(string, sizeof(string), stdin);
 655                 chomp(string);
 656                 var = malloc(strlen(child->argv[1]) + strlen(string) + 2);
 657                 if (var) {
 658                         sprintf(var, "%s=%s", child->argv[1], string);
 659                         res = set_local_var(var, 0);
 660                 } else
 661                         res = -1;
 662                 if (res)
 663                         bb_perror_msg("read");
 664                 free(var);      /* So not move up to avoid breaking errno */
 665                 return res;
 666         }
 667         do res = getchar(); while (res != '\n' && res != EOF);
 668         return 0;
 669 }
 670
 671 /* built-in 'set VAR=value' handler */
 672 static int builtin_set(struct child_prog *child)
 673 {
 674         char *temp = child->argv[1];
 675         struct variables *e;
 676
 677         if (temp == NULL)
 678                 for (e = top_vars; e; e = e->next)
 679                         printf("%s=%s\n", e->name, e->value);
 680         else
 681                 set_local_var(temp, 0);
 682
 683         return EXIT_SUCCESS;
 684 }
 685
 686
 687 /* Built-in 'shift' handler */
 688 static int builtin_shift(struct child_prog *child)
 689 {
 690         int n = 1;
 691         if (child->argv[1]) {
 692                 n = atoi(child->argv[1]);
 693         }
 694         if (n >= 0 && n < global_argc) {
 695                 /* XXX This probably breaks $0 */
 696                 global_argc -= n;
 697                 global_argv += n;
 698                 return EXIT_SUCCESS;
 699         }
 700         return EXIT_FAILURE;
 701 }
 702
 703 /* Built-in '.' handler (read-in and execute commands from file) */
 704 static int builtin_source(struct child_prog *child)
 705 {
 706         FILE *input;
 707         int status;
 708
 709         if (child->argv[1] == NULL)
 710                 return EXIT_FAILURE;
 711
 712         /* XXX search through $PATH is missing */
 713         input = fopen(child->argv[1], "r");
 714         if (!input) {
 715                 bb_error_msg("cannot open '%s'", child->argv[1]);
 716                 return EXIT_FAILURE;
 717         }
 718
 719         /* Now run the file */
 720         /* XXX argv and argc are broken; need to save old global_argv
 721          * (pointer only is OK!) on this stack frame,
 722          * set global_argv=child->argv+1, recurse, and restore. */
 723         mark_open(fileno(input));
 724         status = parse_file_outer(input);
 725         mark_closed(fileno(input));
 726         fclose(input);
 727         return status;
 728 }
 729
 730 static int builtin_umask(struct child_prog *child)
 731 {
 732         mode_t new_umask;
 733         const char *arg = child->argv[1];
 734         char *end;
 735         if (arg) {
 736                 new_umask = strtoul(arg, &end, 8);
 737                 if (*end != '\0' || end == arg) {
 738                         return EXIT_FAILURE;
 739                 }
 740         } else {
 741                 new_umask = umask(0);
 742                 printf("%.3o\n", (unsigned) new_umask);
 743         }
 744         umask(new_umask);
 745         return EXIT_SUCCESS;
 746 }
 747
 748 /* built-in 'unset VAR' handler */
 749 static int builtin_unset(struct child_prog *child)
 750 {
 751         /* bash returned already true */
 752         unset_local_var(child->argv[1]);
 753         return EXIT_SUCCESS;
 754 }
 755
 756 static int builtin_not_written(struct child_prog *child)
 757 {
 758         printf("builtin_%s not written\n", child->argv[0]);
 759         return EXIT_FAILURE;
 760 }
 761
 762 static int b_check_space(o_string *o, int len)
 763 {
 764         /* It would be easy to drop a more restrictive policy
 765          * in here, such as setting a maximum string length */
 766         if (o->length + len > o->maxlen) {
 767                 char *old_data = o->data;
 768                 /* assert(data == NULL || o->maxlen != 0); */
 769                 o->maxlen += max(2*len, B_CHUNK);
 770                 o->data = realloc(o->data, 1 + o->maxlen);
 771                 if (o->data == NULL) {
 772                         free(old_data);
 773                 }
 774         }
 775         return o->data == NULL;
 776 }
 777
 778 static int b_addchr(o_string *o, int ch)
 779 {
 780         debug_printf("b_addchr: %c %d %p\n", ch, o->length, o);
 781         if (b_check_space(o, 1))
 782                 return B_NOSPAC;
 783         o->data[o->length] = ch;
 784         o->length++;
 785         o->data[o->length] = '\0';
 786         return 0;
 787 }
 788
 789 static void b_reset(o_string *o)
 790 {
 791         o->length = 0;
 792         o->nonnull = 0;
 793         if (o->data != NULL)
 794                 *o->data = '\0';
 795 }
 796
 797 static void b_free(o_string *o)
 798 {
 799         b_reset(o);
 800         free(o->data);
 801         o->data = NULL;
 802         o->maxlen = 0;
 803 }
 804
 805 /* My analysis of quoting semantics tells me that state information
 806  * is associated with a destination, not a source.
 807  */
 808 static int b_addqchr(o_string *o, int ch, int quote)
 809 {
 810         if (quote && strchr("*?[\\", ch)) {
 811                 int rc;
 812                 rc = b_addchr(o, '\\');
 813                 if (rc)
 814                         return rc;
 815         }
 816         return b_addchr(o, ch);
 817 }
 818
 819 /* belongs in utility.c */
 820 static char *simple_itoa(unsigned i)
 821 {
 822         static char local[sizeof(int)*3 + 2];
 823         char *p = &local[sizeof(int)*3 + 2 - 1];
 824         *p-- = '\0';
 825         do {
 826                 *p-- = '0' + i % 10;
 827                 i /= 10;
 828         } while (i > 0);
 829         return p + 1;
 830 }
 831
 832 static int b_adduint(o_string *o, unsigned i)
 833 {
 834         int r;
 835         char *p = simple_itoa(i);
 836         /* no escape checking necessary */
 837         do r = b_addchr(o, *p++); while (r == 0 && *p);
 838         return r;
 839 }
 840
 841 static int static_get(struct in_str *i)
 842 {
 843         int ch = *i->p++;
 844         if (ch == '\0') return EOF;
 845         return ch;
 846 }
 847
 848 static int static_peek(struct in_str *i)
 849 {
 850         return *i->p;
 851 }
 852
 853 static void cmdedit_set_initial_prompt(void)
 854 {
 855 #if !ENABLE_FEATURE_EDITING_FANCY_PROMPT
 856         PS1 = NULL;
 857 #else
 858         PS1 = getenv("PS1");
 859         if (PS1 == NULL)
 860                 PS1 = "\\w \\$ ";
 861 #endif
 862 }
 863
 864 static const char* setup_prompt_string(int promptmode)
 865 {
 866         const char *prompt_str;
 867         debug_printf("setup_prompt_string %d ", promptmode);
 868 #if !ENABLE_FEATURE_EDITING_FANCY_PROMPT
 869         /* Set up the prompt */
 870         if (promptmode == 1) {
 871                 char *ns;
 872                 free((char*)PS1);
 873                 ns = xmalloc(strlen(cwd)+4);
 874                 sprintf(ns, "%s %s", cwd, (geteuid() != 0) ? "$ " : "# ");
 875                 prompt_str = ns;
 876                 PS1 = ns;
 877         } else {
 878                 prompt_str = PS2;
 879         }
 880 #else
 881         prompt_str = (promptmode == 1) ? PS1 : PS2;
 882 #endif
 883         debug_printf("result %s\n", prompt_str);
 884         return prompt_str;
 885 }
 886
 887 #if ENABLE_FEATURE_EDITING
 888 static line_input_t *line_input_state;
 889 #endif
 890
 891 static void get_user_input(struct in_str *i)
 892 {
 893         const char *prompt_str;
 894         static char the_command[BUFSIZ];
 895
 896         prompt_str = setup_prompt_string(i->promptmode);
 897 #if ENABLE_FEATURE_EDITING
 898         /*
 899          ** enable command line editing only while a command line
 900          ** is actually being read; otherwise, we'll end up bequeathing
 901          ** atexit() handlers and other unwanted stuff to our
 902          ** child processes (rob@sysgo.de)
 903          */
 904         read_line_input(prompt_str, the_command, BUFSIZ, line_input_state);
 905 #else
 906         fputs(prompt_str, stdout);
 907         fflush(stdout);
 908         the_command[0] = fgetc(i->file);
 909         the_command[1] = '\0';
 910 #endif
 911         fflush(stdout);
 912         i->p = the_command;
 913 }
 914
 915 /* This is the magic location that prints prompts
 916  * and gets data back from the user */
 917 static int file_get(struct in_str *i)
 918 {
 919         int ch;
 920
 921         ch = 0;
 922         /* If there is data waiting, eat it up */
 923         if (i->p && *i->p) {
 924                 ch = *i->p++;
 925         } else {
 926                 /* need to double check i->file because we might be doing something
 927                  * more complicated by now, like sourcing or substituting. */
 928                 if (i->__promptme && interactive && i->file == stdin) {
 929                         while (!i->p || !(interactive && strlen(i->p))) {
 930                                 get_user_input(i);
 931                         }
 932                         i->promptmode = 2;
 933                         i->__promptme = 0;
 934                         if (i->p && *i->p) {
 935                                 ch = *i->p++;
 936                         }
 937                 } else {
 938                         ch = fgetc(i->file);
 939                 }
 940
 941                 debug_printf("b_getch: got a %d\n", ch);
 942         }
 943         if (ch == '\n')
 944                 i->__promptme = 1;
 945         return ch;
 946 }
 947
 948 /* All the callers guarantee this routine will never be
 949  * used right after a newline, so prompting is not needed.
 950  */
 951 static int file_peek(struct in_str *i)
 952 {
 953         if (i->p && *i->p) {
 954                 return *i->p;
 955         }
 956         i->peek_buf[0] = fgetc(i->file);
 957         i->peek_buf[1] = '\0';
 958         i->p = i->peek_buf;
 959         debug_printf("b_peek: got a %d\n", *i->p);
 960         return *i->p;
 961 }
 962
 963 static void setup_file_in_str(struct in_str *i, FILE *f)
 964 {
 965         i->peek = file_peek;
 966         i->get = file_get;
 967         i->__promptme = 1;
 968         i->promptmode = 1;
 969         i->file = f;
 970         i->p = NULL;
 971 }
 972
 973 static void setup_string_in_str(struct in_str *i, const char *s)
 974 {
 975         i->peek = static_peek;
 976         i->get = static_get;
 977         i->__promptme = 1;
 978         i->promptmode = 1;
 979         i->p = s;
 980 }
 981
 982 static void mark_open(int fd)
 983 {
 984         struct close_me *new = xmalloc(sizeof(struct close_me));
 985         new->fd = fd;
 986         new->next = close_me_head;
 987         close_me_head = new;
 988 }
 989
 990 static void mark_closed(int fd)
 991 {
 992         struct close_me *tmp;
 993         if (close_me_head == NULL || close_me_head->fd != fd)
 994                 bb_error_msg_and_die("corrupt close_me");
 995         tmp = close_me_head;
 996         close_me_head = close_me_head->next;
 997         free(tmp);
 998 }
 999
1000 static void close_all(void)
1001 {
1002         struct close_me *c;
1003         for (c = close_me_head; c; c = c->next) {
1004                 close(c->fd);
1005         }
1006         close_me_head = NULL;
1007 }
1008
1009 /* squirrel != NULL means we squirrel away copies of stdin, stdout,
1010  * and stderr if they are redirected. */
1011 static int setup_redirects(struct child_prog *prog, int squirrel[])
1012 {
1013         int openfd, mode;
1014         struct redir_struct *redir;
1015
1016         for (redir = prog->redirects; redir; redir = redir->next) {
1017                 if (redir->dup == -1 && redir->word.gl_pathv == NULL) {
1018                         /* something went wrong in the parse.  Pretend it didn't happen */
1019                         continue;
1020                 }
1021                 if (redir->dup == -1) {
1022                         mode = redir_table[redir->type].mode;
1023                         openfd = open_or_warn(redir->word.gl_pathv[0], mode);
1024                         if (openfd < 0) {
1025                         /* this could get lost if stderr has been redirected, but
1026                            bash and ash both lose it as well (though zsh doesn't!) */
1027                                 return 1;
1028                         }
1029                 } else {
1030                         openfd = redir->dup;
1031                 }
1032
1033                 if (openfd != redir->fd) {
1034                         if (squirrel && redir->fd < 3) {
1035                                 squirrel[redir->fd] = dup(redir->fd);
1036                         }
1037                         if (openfd == -3) {
1038                                 close(openfd);
1039                         } else {
1040                                 dup2(openfd, redir->fd);
1041                                 if (redir->dup == -1)
1042                                         close(openfd);
1043                         }
1044                 }
1045         }
1046         return 0;
1047 }
1048
1049 static void restore_redirects(int squirrel[])
1050 {
1051         int i, fd;
1052         for (i = 0; i < 3; i++) {
1053                 fd = squirrel[i];
1054                 if (fd != -1) {
1055                         /* No error checking.  I sure wouldn't know what
1056                          * to do with an error if I found one! */
1057                         dup2(fd, i);
1058                         close(fd);
1059                 }
1060         }
1061 }
1062
1063 /* never returns */
1064 /* XXX no exit() here.  If you don't exec, use _exit instead.
1065  * The at_exit handlers apparently confuse the calling process,
1066  * in particular stdin handling.  Not sure why? */
1067 static void pseudo_exec(struct child_prog *child)
1068 {
1069         int i, rcode;
1070         char *p;
1071         const struct built_in_command *x;
1072         if (child->argv) {
1073                 for (i = 0; is_assignment(child->argv[i]); i++) {
1074                         debug_printf("pid %d environment modification: %s\n",
1075                                         getpid(), child->argv[i]);
1076                         p = insert_var_value(child->argv[i]);
1077                         putenv(strdup(p));
1078                         if (p != child->argv[i])
1079                                 free(p);
1080                 }
1081                 child->argv += i;  /* XXX this hack isn't so horrible, since we are about
1082                                         to exit, and therefore don't need to keep data
1083                                         structures consistent for free() use. */
1084                 /* If a variable is assigned in a forest, and nobody listens,
1085                  * was it ever really set?
1086                  */
1087                 if (child->argv[0] == NULL) {
1088                         _exit(EXIT_SUCCESS);
1089                 }
1090
1091                 /*
1092                  * Check if the command matches any of the builtins.
1093                  * Depending on context, this might be redundant.  But it's
1094                  * easier to waste a few CPU cycles than it is to figure out
1095                  * if this is one of those cases.
1096                  */
1097                 for (x = bltins; x->cmd; x++) {
1098                         if (strcmp(child->argv[0], x->cmd) == 0) {
1099                                 debug_printf("builtin exec %s\n", child->argv[0]);
1100                                 rcode = x->function(child);
1101                                 fflush(stdout);
1102                                 _exit(rcode);
1103                         }
1104                 }
1105
1106                 /* Check if the command matches any busybox internal commands
1107                  * ("applets") here.
1108                  * FIXME: This feature is not 100% safe, since
1109                  * BusyBox is not fully reentrant, so we have no guarantee the things
1110                  * from the .bss are still zeroed, or that things from .data are still
1111                  * at their defaults.  We could exec ourself from /proc/self/exe, but I
1112                  * really dislike relying on /proc for things.  We could exec ourself
1113                  * from global_argv[0], but if we are in a chroot, we may not be able
1114                  * to find ourself... */
1115 #if ENABLE_FEATURE_SH_STANDALONE
1116                 debug_printf("running applet %s\n", child->argv[0]);
1117                 run_applet_and_exit(child->argv[0], child->argv);
1118 // is it ok that run_applet_and_exit() does exit(), not _exit()?
1119 // NB: IIRC on NOMMU we are after _vfork_, not fork!
1120 #endif
1121                 debug_printf("exec of %s\n", child->argv[0]);
1122                 execvp(child->argv[0], child->argv);
1123                 bb_perror_msg("cannot exec: %s", child->argv[0]);
1124                 _exit(1);
1125         }
1126
1127         if (child->group) {
1128                 debug_printf("runtime nesting to group\n");
1129                 interactive = 0;    /* crucial!!!! */
1130                 rcode = run_list_real(child->group);
1131                 /* OK to leak memory by not calling free_pipe_list,
1132                  * since this process is about to exit */
1133                 _exit(rcode);
1134         }
1135
1136         /* Can happen.  See what bash does with ">foo" by itself. */
1137         debug_printf("trying to pseudo_exec null command\n");
1138         _exit(EXIT_SUCCESS);
1139 }
1140
1141 static void insert_bg_job(struct pipe *pi)
1142 {
1143         struct pipe *thejob;
1144
1145         /* Linear search for the ID of the job to use */
1146         pi->jobid = 1;
1147         for (thejob = job_list; thejob; thejob = thejob->next)
1148                 if (thejob->jobid >= pi->jobid)
1149                         pi->jobid = thejob->jobid + 1;
1150
1151         /* add thejob to the list of running jobs */
1152         if (!job_list) {
1153                 thejob = job_list = xmalloc(sizeof(*thejob));
1154         } else {
1155                 for (thejob = job_list; thejob->next; thejob = thejob->next)
1156                         continue;
1157                 thejob->next = xmalloc(sizeof(*thejob));
1158                 thejob = thejob->next;
1159         }
1160
1161         /* physically copy the struct job */
1162         memcpy(thejob, pi, sizeof(struct pipe));
1163         thejob->next = NULL;
1164         thejob->running_progs = thejob->num_progs;
1165         thejob->stopped_progs = 0;
1166         thejob->text = xmalloc(BUFSIZ); /* cmdedit buffer size */
1167
1168         //if (pi->progs[0] && pi->progs[0].argv && pi->progs[0].argv[0])
1169         {
1170                 char *bar = thejob->text;
1171                 char **foo = pi->progs[0].argv;
1172                 if (foo)
1173                         while (*foo)
1174                                 bar += sprintf(bar, "%s ", *foo++);
1175         }
1176
1177         /* we don't wait for background thejobs to return -- append it
1178            to the list of backgrounded thejobs and leave it alone */
1179         printf("[%d] %d\n", thejob->jobid, thejob->progs[0].pid);
1180         last_bg_pid = thejob->progs[0].pid;
1181         last_jobid = thejob->jobid;
1182 }
1183
1184 /* remove a backgrounded job */
1185 static void remove_bg_job(struct pipe *pi)
1186 {
1187         struct pipe *prev_pipe;
1188
1189         if (pi == job_list) {
1190                 job_list = pi->next;
1191         } else {
1192                 prev_pipe = job_list;
1193                 while (prev_pipe->next != pi)
1194                         prev_pipe = prev_pipe->next;
1195                 prev_pipe->next = pi->next;
1196         }
1197         if (job_list)
1198                 last_jobid = job_list->jobid;
1199         else
1200                 last_jobid = 0;
1201
1202         pi->stopped_progs = 0;
1203         free_pipe(pi, 0);
1204         free(pi);
1205 }
1206
1207 /* Checks to see if any processes have exited -- if they
1208    have, figure out why and see if a job has completed */
1209 static int checkjobs(struct pipe* fg_pipe)
1210 {
1211         int attributes;
1212         int status;
1213         int prognum = 0;
1214         struct pipe *pi;
1215         pid_t childpid;
1216
1217         attributes = WUNTRACED;
1218         if (fg_pipe == NULL) {
1219                 attributes |= WNOHANG;
1220         }
1221
1222         while ((childpid = waitpid(-1, &status, attributes)) > 0) {
1223                 if (fg_pipe) {
1224                         int i, rcode = 0;
1225                         for (i = 0; i < fg_pipe->num_progs; i++) {
1226                                 if (fg_pipe->progs[i].pid == childpid) {
1227                                         if (i == fg_pipe->num_progs-1)
1228                                                 rcode = WEXITSTATUS(status);
1229                                         fg_pipe->num_progs--;
1230                                         return rcode;
1231                                 }
1232                         }
1233                 }
1234
1235                 for (pi = job_list; pi; pi = pi->next) {
1236                         prognum = 0;
1237                         while (prognum < pi->num_progs && pi->progs[prognum].pid != childpid) {
1238                                 prognum++;
1239                         }
1240                         if (prognum < pi->num_progs)
1241                                 break;
1242                 }
1243
1244                 if (pi == NULL) {
1245                         debug_printf("checkjobs: pid %d was not in our list!\n",
1246                                         childpid);
1247                         continue;
1248                 }
1249
1250                 if (WIFEXITED(status) || WIFSIGNALED(status)) {
1251                         /* child exited */
1252                         pi->running_progs--;
1253                         pi->progs[prognum].pid = 0;
1254
1255                         if (!pi->running_progs) {
1256                                 printf(JOB_STATUS_FORMAT, pi->jobid,
1257                                                         "Done", pi->text);
1258                                 remove_bg_job(pi);
1259                         }
1260                 } else {
1261                         /* child stopped */
1262                         pi->stopped_progs++;
1263                         pi->progs[prognum].is_stopped = 1;
1264                 }
1265         }
1266
1267         if (childpid == -1 && errno != ECHILD)
1268                 bb_perror_msg("waitpid");
1269
1270         /* move the shell to the foreground */
1271         //if (interactive && tcsetpgrp(shell_terminal, getpgid(0)))
1272         //      bb_perror_msg("tcsetpgrp-2");
1273         return -1;
1274 }
1275
1276 /* run_pipe_real() starts all the jobs, but doesn't wait for anything
1277  * to finish.  See checkjobs().
1278  *
1279  * return code is normally -1, when the caller has to wait for children
1280  * to finish to determine the exit status of the pipe.  If the pipe
1281  * is a simple builtin command, however, the action is done by the
1282  * time run_pipe_real returns, and the exit code is provided as the
1283  * return value.
1284  *
1285  * The input of the pipe is always stdin, the output is always
1286  * stdout.  The outpipe[] mechanism in BusyBox-0.48 lash is bogus,
1287  * because it tries to avoid running the command substitution in
1288  * subshell, when that is in fact necessary.  The subshell process
1289  * now has its stdout directed to the input of the appropriate pipe,
1290  * so this routine is noticeably simpler.
1291  */
1292 static int run_pipe_real(struct pipe *pi)
1293 {
1294         int i;
1295         int nextin, nextout;
1296         int pipefds[2];                         /* pipefds[0] is for reading */
1297         struct child_prog *child;
1298         const struct built_in_command *x;
1299         char *p;
1300         /* it is not always needed, but we aim to smaller code */
1301         int squirrel[] = { -1, -1, -1 };
1302         int rcode;
1303
1304         nextin = 0;
1305         pi->pgrp = -1;
1306
1307         /* Check if this is a simple builtin (not part of a pipe).
1308          * Builtins within pipes have to fork anyway, and are handled in
1309          * pseudo_exec.  "echo foo | read bar" doesn't work on bash, either.
1310          */
1311         child = &(pi->progs[0]);
1312         if (pi->num_progs == 1 && child->group && child->subshell == 0) {
1313                 debug_printf("non-subshell grouping\n");
1314                 setup_redirects(child, squirrel);
1315                 /* XXX could we merge code with following builtin case,
1316                  * by creating a pseudo builtin that calls run_list_real? */
1317                 rcode = run_list_real(child->group);
1318                 restore_redirects(squirrel);
1319                 return rcode;
1320         }
1321
1322         if (pi->num_progs == 1 && pi->progs[0].argv != NULL) {
1323                 for (i = 0; is_assignment(child->argv[i]); i++)
1324                         continue;
1325                 if (i != 0 && child->argv[i] == NULL) {
1326                         /* assignments, but no command: set the local environment */
1327                         for (i = 0; child->argv[i] != NULL; i++) {
1328                                 /* Ok, this case is tricky.  We have to decide if this is a
1329                                  * local variable, or an already exported variable.  If it is
1330                                  * already exported, we have to export the new value.  If it is
1331                                  * not exported, we need only set this as a local variable.
1332                                  * This junk is all to decide whether or not to export this
1333                                  * variable. */
1334                                 int export_me = 0;
1335                                 char *name, *value;
1336                                 name = xstrdup(child->argv[i]);
1337                                 debug_printf("Local environment set: %s\n", name);
1338                                 value = strchr(name, '=');
1339                                 if (value)
1340                                         *value = 0;
1341                                 if (get_local_var(name)) {
1342                                         export_me = 1;
1343                                 }
1344                                 free(name);
1345                                 p = insert_var_value(child->argv[i]);
1346                                 set_local_var(p, export_me);
1347                                 if (p != child->argv[i])
1348                                         free(p);
1349                         }
1350                         return EXIT_SUCCESS;   /* don't worry about errors in set_local_var() yet */
1351                 }
1352                 for (i = 0; is_assignment(child->argv[i]); i++) {
1353                         p = insert_var_value(child->argv[i]);
1354                         putenv(strdup(p));
1355                         if (p != child->argv[i]) {
1356                                 child->sp--;
1357                                 free(p);
1358                         }
1359                 }
1360                 if (child->sp) {
1361                         char *str;
1362
1363                         str = make_string(child->argv + i);
1364                         parse_string_outer(str, FLAG_EXIT_FROM_LOOP | FLAG_REPARSING);
1365                         free(str);
1366                         return last_return_code;
1367                 }
1368                 for (x = bltins; x->cmd; x++) {
1369                         if (strcmp(child->argv[i], x->cmd) == 0) {
1370                                 if (x->function == builtin_exec && child->argv[i+1] == NULL) {
1371                                         debug_printf("magic exec\n");
1372                                         setup_redirects(child, NULL);
1373                                         return EXIT_SUCCESS;
1374                                 }
1375                                 debug_printf("builtin inline %s\n", child->argv[0]);
1376                                 /* XXX setup_redirects acts on file descriptors, not FILEs.
1377                                  * This is perfect for work that comes after exec().
1378                                  * Is it really safe for inline use?  Experimentally,
1379                                  * things seem to work with glibc. */
1380                                 setup_redirects(child, squirrel);
1381                                 child->argv += i;  /* XXX horrible hack */
1382                                 rcode = x->function(child);
1383                                 child->argv -= i;  /* XXX restore hack so free() can work right */
1384                                 restore_redirects(squirrel);
1385                                 return rcode;
1386                         }
1387                 }
1388 #if ENABLE_FEATURE_SH_STANDALONE
1389                 {
1390                         const struct bb_applet *a = find_applet_by_name(child->argv[i]);
1391                         if (a && a->nofork) {
1392                                 setup_redirects(child, squirrel);
1393                                 rcode = run_nofork_applet(a, child->argv + i);
1394                                 restore_redirects(squirrel);
1395                                 return rcode;
1396                         }
1397                 }
1398 #endif
1399         }
1400
1401         for (i = 0; i < pi->num_progs; i++) {
1402                 child = &(pi->progs[i]);
1403
1404                 /* pipes are inserted between pairs of commands */
1405                 if ((i + 1) < pi->num_progs) {
1406                         if (pipe(pipefds) < 0)
1407                                 bb_perror_msg_and_die("pipe");
1408                         nextout = pipefds[1];
1409                 } else {
1410                         nextout = 1;
1411                         pipefds[0] = -1;
1412                 }
1413
1414                 /* XXX test for failed fork()? */
1415 #if BB_MMU
1416                 child->pid = fork();
1417 #else
1418                 child->pid = vfork();
1419 #endif
1420                 if (!child->pid) {
1421                         /* Set the handling for job control signals back to the default.  */
1422                         signal(SIGINT, SIG_DFL);
1423                         signal(SIGQUIT, SIG_DFL);
1424                         signal(SIGTERM, SIG_DFL);
1425                         signal(SIGTSTP, SIG_DFL);
1426                         signal(SIGTTIN, SIG_DFL);
1427                         signal(SIGTTOU, SIG_DFL);
1428                         signal(SIGCHLD, SIG_DFL);
1429
1430                         close_all();
1431
1432                         if (nextin != 0) {
1433                                 dup2(nextin, 0);
1434                                 close(nextin);
1435                         }
1436                         if (nextout != 1) {
1437                                 dup2(nextout, 1);
1438                                 close(nextout);
1439                         }
1440                         if (pipefds[0] != -1) {
1441                                 close(pipefds[0]);  /* opposite end of our output pipe */
1442                         }
1443
1444                         /* Like bash, explicit redirects override pipes,
1445                          * and the pipe fd is available for dup'ing. */
1446                         setup_redirects(child, NULL);
1447
1448                         if (interactive && pi->followup != PIPE_BG) {
1449                                 /* If we (the child) win the race, put ourselves in the process
1450                                  * group whose leader is the first process in this pipe. */
1451                                 if (pi->pgrp < 0) {
1452                                         pi->pgrp = getpid();
1453                                 }
1454                                 if (setpgid(0, pi->pgrp) == 0) {
1455                                         tcsetpgrp(2, pi->pgrp);
1456                                 }
1457                         }
1458
1459                         pseudo_exec(child);
1460                 }
1461
1462                 /* put our child in the process group whose leader is the
1463                    first process in this pipe */
1464                 if (pi->pgrp < 0) {
1465                         pi->pgrp = child->pid;
1466                 }
1467                 /* Don't check for errors.  The child may be dead already,
1468                  * in which case setpgid returns error code EACCES. */
1469                 setpgid(child->pid, pi->pgrp);
1470
1471                 if (nextin != 0)
1472                         close(nextin);
1473                 if (nextout != 1)
1474                         close(nextout);
1475
1476                 /* If there isn't another process, nextin is garbage
1477                    but it doesn't matter */
1478                 nextin = pipefds[0];
1479         }
1480         return -1;
1481 }
1482
1483 static int run_list_real(struct pipe *pi)
1484 {
1485         char *save_name = NULL;
1486         char **list = NULL;
1487         char **save_list = NULL;
1488         struct pipe *rpipe;
1489         int flag_rep = 0;
1490         int save_num_progs;
1491         int rcode = 0, flag_skip = 1;
1492         int flag_restore = 0;
1493         int if_code = 0, next_if_code = 0;  /* need double-buffer to handle elif */
1494         reserved_style rmode, skip_more_in_this_rmode = RES_XXXX;
1495         /* check syntax for "for" */
1496         for (rpipe = pi; rpipe; rpipe = rpipe->next) {
1497                 if ((rpipe->r_mode == RES_IN || rpipe->r_mode == RES_FOR)
1498                  && (rpipe->next == NULL)
1499                 ) {
1500                         syntax();
1501                         return 1;
1502                 }
1503                 if ((rpipe->r_mode == RES_IN && rpipe->next->r_mode == RES_IN && rpipe->next->progs->argv != NULL)
1504                  || (rpipe->r_mode == RES_FOR && rpipe->next->r_mode != RES_IN)
1505                 ) {
1506                         syntax();
1507                         return 1;
1508                 }
1509         }
1510         for (; pi; pi = (flag_restore != 0) ? rpipe : pi->next) {
1511                 if (pi->r_mode == RES_WHILE || pi->r_mode == RES_UNTIL
1512                  || pi->r_mode == RES_FOR
1513                 ) {
1514                         flag_restore = 0;
1515                         if (!rpipe) {
1516                                 flag_rep = 0;
1517                                 rpipe = pi;
1518                         }
1519                 }
1520                 rmode = pi->r_mode;
1521                 debug_printf("rmode=%d  if_code=%d  next_if_code=%d skip_more=%d\n",
1522                                 rmode, if_code, next_if_code, skip_more_in_this_rmode);
1523                 if (rmode == skip_more_in_this_rmode && flag_skip) {
1524                         if (pi->followup == PIPE_SEQ)
1525                                 flag_skip = 0;
1526                         continue;
1527                 }
1528                 flag_skip = 1;
1529                 skip_more_in_this_rmode = RES_XXXX;
1530                 if (rmode == RES_THEN || rmode == RES_ELSE)
1531                         if_code = next_if_code;
1532                 if (rmode == RES_THEN &&  if_code)
1533                         continue;
1534                 if (rmode == RES_ELSE && !if_code)
1535                         continue;
1536                 if (rmode == RES_ELIF && !if_code)
1537                         break;
1538                 if (rmode == RES_FOR && pi->num_progs) {
1539                         if (!list) {
1540                                 /* if no variable values after "in" we skip "for" */
1541                                 if (!pi->next->progs->argv)
1542                                         continue;
1543                                 /* create list of variable values */
1544                                 list = make_list_in(pi->next->progs->argv,
1545                                                 pi->progs->argv[0]);
1546                                 save_list = list;
1547                                 save_name = pi->progs->argv[0];
1548                                 pi->progs->argv[0] = NULL;
1549                                 flag_rep = 1;
1550                         }
1551                         if (!*list) {
1552                                 free(pi->progs->argv[0]);
1553                                 free(save_list);
1554                                 list = NULL;
1555                                 flag_rep = 0;
1556                                 pi->progs->argv[0] = save_name;
1557                                 pi->progs->glob_result.gl_pathv[0] = pi->progs->argv[0];
1558                                 continue;
1559                         } else {
1560                                 /* insert new value from list for variable */
1561                                 if (pi->progs->argv[0])
1562                                         free(pi->progs->argv[0]);
1563                                 pi->progs->argv[0] = *list++;
1564                                 pi->progs->glob_result.gl_pathv[0] = pi->progs->argv[0];
1565                         }
1566                 }
1567                 if (rmode == RES_IN)
1568                         continue;
1569                 if (rmode == RES_DO) {
1570                         if (!flag_rep)
1571                                 continue;
1572                 }
1573                 if ((rmode == RES_DONE)) {
1574                         if (flag_rep) {
1575                                 flag_restore = 1;
1576                         } else {
1577                                 rpipe = NULL;
1578                         }
1579                 }
1580                 if (pi->num_progs == 0)
1581                         continue;
1582                 save_num_progs = pi->num_progs; /* save number of programs */
1583                 rcode = run_pipe_real(pi);
1584                 debug_printf("run_pipe_real returned %d\n", rcode);
1585                 if (rcode != -1) {
1586                         /* We only ran a builtin: rcode was set by the return value
1587                          * of run_pipe_real(), and we don't need to wait for anything. */
1588                 } else if (pi->followup == PIPE_BG) {
1589                         /* XXX check bash's behavior with nontrivial pipes */
1590                         /* XXX compute jobid */
1591                         /* XXX what does bash do with attempts to background builtins? */
1592                         insert_bg_job(pi);
1593                         rcode = EXIT_SUCCESS;
1594                 } else {
1595                         if (interactive) {
1596                                 /* move the new process group into the foreground */
1597                                 if (tcsetpgrp(shell_terminal, pi->pgrp) && errno != ENOTTY)
1598                                         bb_perror_msg("tcsetpgrp-3");
1599                                 rcode = checkjobs(pi);
1600                                 /* move the shell to the foreground */
1601                                 if (tcsetpgrp(shell_terminal, getpgid(0)) && errno != ENOTTY)
1602                                         bb_perror_msg("tcsetpgrp-4");
1603                         } else {
1604                                 rcode = checkjobs(pi);
1605                         }
1606                         debug_printf("checkjobs returned %d\n", rcode);
1607                 }
1608                 last_return_code = rcode;
1609                 pi->num_progs = save_num_progs; /* restore number of programs */
1610                 if ( rmode == RES_IF || rmode == RES_ELIF )
1611                         next_if_code = rcode;  /* can be overwritten a number of times */
1612                 if (rmode == RES_WHILE)
1613                         flag_rep = !last_return_code;
1614                 if (rmode == RES_UNTIL)
1615                         flag_rep = last_return_code;
1616                 if ((rcode == EXIT_SUCCESS && pi->followup == PIPE_OR)
1617                  || (rcode != EXIT_SUCCESS && pi->followup == PIPE_AND)
1618                 ) {
1619                         skip_more_in_this_rmode = rmode;
1620                 }
1621                 checkjobs(NULL);
1622         }
1623         return rcode;
1624 }
1625
1626 /* return code is the exit status of the pipe */
1627 static int free_pipe(struct pipe *pi, int indent)
1628 {
1629         char **p;
1630         struct child_prog *child;
1631         struct redir_struct *r, *rnext;
1632         int a, i, ret_code = 0;
1633
1634         if (pi->stopped_progs > 0)
1635                 return ret_code;
1636         final_printf("%s run pipe: (pid %d)\n", indenter(indent), getpid());
1637         for (i = 0; i < pi->num_progs; i++) {
1638                 child = &pi->progs[i];
1639                 final_printf("%s  command %d:\n", indenter(indent), i);
1640                 if (child->argv) {
1641                         for (a = 0, p = child->argv; *p; a++, p++) {
1642                                 final_printf("%s   argv[%d] = %s\n", indenter(indent), a, *p);
1643                         }
1644                         globfree(&child->glob_result);
1645                         child->argv = NULL;
1646                 } else if (child->group) {
1647                         final_printf("%s   begin group (subshell:%d)\n", indenter(indent), child->subshell);
1648                         ret_code = free_pipe_list(child->group, indent+3);
1649                         final_printf("%s   end group\n", indenter(indent));
1650                 } else {
1651                         final_printf("%s   (nil)\n", indenter(indent));
1652                 }
1653                 for (r = child->redirects; r; r = rnext) {
1654                         final_printf("%s   redirect %d%s", indenter(indent), r->fd, redir_table[r->type].descrip);
1655                         if (r->dup == -1) {
1656                                 /* guard against the case >$FOO, where foo is unset or blank */
1657                                 if (r->word.gl_pathv) {
1658                                         final_printf(" %s\n", *r->word.gl_pathv);
1659                                         globfree(&r->word);
1660                                 }
1661                         } else {
1662                                 final_printf("&%d\n", r->dup);
1663                         }
1664                         rnext = r->next;
1665                         free(r);
1666                 }
1667                 child->redirects = NULL;
1668         }
1669         free(pi->progs);   /* children are an array, they get freed all at once */
1670         pi->progs = NULL;
1671         return ret_code;
1672 }
1673
1674 static int free_pipe_list(struct pipe *head, int indent)
1675 {
1676         int rcode = 0;   /* if list has no members */
1677         struct pipe *pi, *next;
1678         for (pi = head; pi; pi = next) {
1679                 final_printf("%s pipe reserved mode %d\n", indenter(indent), pi->r_mode);
1680                 rcode = free_pipe(pi, indent);
1681                 final_printf("%s pipe followup code %d\n", indenter(indent), pi->followup);
1682                 next = pi->next;
1683                 pi->next = NULL;
1684                 free(pi);
1685         }
1686         return rcode;
1687 }
1688
1689 /* Select which version we will use */
1690 static int run_list(struct pipe *pi)
1691 {
1692         int rcode = 0;
1693         if (fake_mode == 0) {
1694                 rcode = run_list_real(pi);
1695         }
1696         /* free_pipe_list has the side effect of clearing memory
1697          * In the long run that function can be merged with run_list_real,
1698          * but doing that now would hobble the debugging effort. */
1699         free_pipe_list(pi,0);
1700         return rcode;
1701 }
1702
1703 /* The API for glob is arguably broken.  This routine pushes a non-matching
1704  * string into the output structure, removing non-backslashed backslashes.
1705  * If someone can prove me wrong, by performing this function within the
1706  * original glob(3) api, feel free to rewrite this routine into oblivion.
1707  * Return code (0 vs. GLOB_NOSPACE) matches glob(3).
1708  * XXX broken if the last character is '\\', check that before calling.
1709  */
1710 static int globhack(const char *src, int flags, glob_t *pglob)
1711 {
1712         int cnt = 0, pathc;
1713         const char *s;
1714         char *dest;
1715         for (cnt = 1, s = src; s && *s; s++) {
1716                 if (*s == '\\') s++;
1717                 cnt++;
1718         }
1719         dest = malloc(cnt);
1720         if (!dest) return GLOB_NOSPACE;
1721         if (!(flags & GLOB_APPEND)) {
1722                 pglob->gl_pathv = NULL;
1723                 pglob->gl_pathc = 0;
1724                 pglob->gl_offs = 0;
1725                 pglob->gl_offs = 0;
1726         }
1727         pathc = ++pglob->gl_pathc;
1728         pglob->gl_pathv = realloc(pglob->gl_pathv, (pathc+1)*sizeof(*pglob->gl_pathv));
1729         if (pglob->gl_pathv == NULL) return GLOB_NOSPACE;
1730         pglob->gl_pathv[pathc-1] = dest;
1731         pglob->gl_pathv[pathc] = NULL;
1732         for (s = src; s && *s; s++, dest++) {
1733                 if (*s == '\\') s++;
1734                 *dest = *s;
1735         }
1736         *dest = '\0';
1737         return 0;
1738 }
1739
1740 /* XXX broken if the last character is '\\', check that before calling */
1741 static int glob_needed(const char *s)
1742 {
1743         for (; *s; s++) {
1744                 if (*s == '\\') s++;
1745                 if (strchr("*[?", *s)) return 1;
1746         }
1747         return 0;
1748 }
1749
1750 static int xglob(o_string *dest, int flags, glob_t *pglob)
1751 {
1752         int gr;
1753
1754         /* short-circuit for null word */
1755         /* we can code this better when the debug_printf's are gone */
1756         if (dest->length == 0) {
1757                 if (dest->nonnull) {
1758                         /* bash man page calls this an "explicit" null */
1759                         gr = globhack(dest->data, flags, pglob);
1760                         debug_printf("globhack returned %d\n", gr);
1761                 } else {
1762                         return 0;
1763                 }
1764         } else if (glob_needed(dest->data)) {
1765                 gr = glob(dest->data, flags, NULL, pglob);
1766                 debug_printf("glob returned %d\n", gr);
1767                 if (gr == GLOB_NOMATCH) {
1768                         /* quote removal, or more accurately, backslash removal */
1769                         gr = globhack(dest->data, flags, pglob);
1770                         debug_printf("globhack returned %d\n", gr);
1771                 }
1772         } else {
1773                 gr = globhack(dest->data, flags, pglob);
1774                 debug_printf("globhack returned %d\n", gr);
1775         }
1776         if (gr == GLOB_NOSPACE)
1777                 bb_error_msg_and_die("out of memory during glob");
1778         if (gr != 0) { /* GLOB_ABORTED ? */
1779                 bb_error_msg("glob(3) error %d", gr);
1780         }
1781         /* globprint(glob_target); */
1782         return gr;
1783 }
1784
1785 /* This is used to get/check local shell variables */
1786 static const char *get_local_var(const char *s)
1787 {
1788         struct variables *cur;
1789
1790         if (!s)
1791                 return NULL;
1792         for (cur = top_vars; cur; cur = cur->next)
1793                 if (strcmp(cur->name, s) == 0)
1794                         return cur->value;
1795         return NULL;
1796 }
1797
1798 /* This is used to set local shell variables
1799    flg_export == 0 if only local (not exporting) variable
1800    flg_export == 1 if "new" exporting environ
1801    flg_export > 1  if current startup environ (not call putenv()) */
1802 static int set_local_var(const char *s, int flg_export)
1803 {
1804         char *name, *value;
1805         int result = 0;
1806         struct variables *cur;
1807
1808         name = strdup(s);
1809
1810         /* Assume when we enter this function that we are already in
1811          * NAME=VALUE format.  So the first order of business is to
1812          * split 's' on the '=' into 'name' and 'value' */
1813         value = strchr(name, '=');
1814         /*if (value == 0 && ++value == 0) ??? -vda */
1815         if (value == NULL || value[1] == '\0') {
1816                 free(name);
1817                 return -1;
1818         }
1819         *value++ = '\0';
1820
1821         for (cur = top_vars; cur; cur = cur->next) {
1822                 if (strcmp(cur->name, name) == 0)
1823                         break;
1824         }
1825
1826         if (cur) {
1827                 if (strcmp(cur->value, value) == 0) {
1828                         if (flg_export > 0 && cur->flg_export == 0)
1829                                 cur->flg_export = flg_export;
1830                         else
1831                                 result++;
1832                 } else if (cur->flg_read_only) {
1833                         bb_error_msg("%s: readonly variable", name);
1834                         result = -1;
1835                 } else {
1836                         if (flg_export > 0 || cur->flg_export > 1)
1837                                 cur->flg_export = 1;
1838                         free((char*)cur->value);
1839
1840                         cur->value = strdup(value);
1841                 }
1842         } else {
1843                 cur = malloc(sizeof(struct variables));
1844                 if (!cur) {
1845                         result = -1;
1846                 } else {
1847                         cur->name = strdup(name);
1848                         if (cur->name) {
1849                                 free(cur);
1850                                 result = -1;
1851                         } else {
1852                                 struct variables *bottom = top_vars;
1853                                 cur->value = strdup(value);
1854                                 cur->next = 0;
1855                                 cur->flg_export = flg_export;
1856                                 cur->flg_read_only = 0;
1857                                 while (bottom->next)
1858                                         bottom = bottom->next;
1859                                 bottom->next = cur;
1860                         }
1861                 }
1862         }
1863
1864         if (result == 0 && cur->flg_export == 1) {
1865                 *(value-1) = '=';
1866                 result = putenv(name);
1867         } else {
1868                 free(name);
1869                 if (result > 0)            /* equivalent to previous set */
1870                         result = 0;
1871         }
1872         return result;
1873 }
1874
1875 static void unset_local_var(const char *name)
1876 {
1877         struct variables *cur;
1878
1879         if (name) {
1880                 for (cur = top_vars; cur; cur = cur->next) {
1881                         if (strcmp(cur->name, name) == 0)
1882                                 break;
1883                 }
1884                 if (cur != 0) {
1885                         struct variables *next = top_vars;
1886                         if (cur->flg_read_only) {
1887                                 bb_error_msg("%s: readonly variable", name);
1888                                 return;
1889                         }
1890                         if (cur->flg_export)
1891                                 unsetenv(cur->name);
1892                         free((char*)cur->name);
1893                         free((char*)cur->value);
1894                         while (next->next != cur)
1895                                 next = next->next;
1896                         next->next = cur->next;
1897                         free(cur);
1898                 }
1899         }
1900 }
1901
1902 static int is_assignment(const char *s)
1903 {
1904         if (!s || !isalpha(*s))
1905                 return 0;
1906         s++;
1907         while (isalnum(*s) || *s == '_')
1908                 s++;
1909         return *s == '=';
1910 }
1911
1912 /* the src parameter allows us to peek forward to a possible &n syntax
1913  * for file descriptor duplication, e.g., "2>&1".
1914  * Return code is 0 normally, 1 if a syntax error is detected in src.
1915  * Resource errors (in xmalloc) cause the process to exit */
1916 static int setup_redirect(struct p_context *ctx, int fd, redir_type style,
1917         struct in_str *input)
1918 {
1919         struct child_prog *child = ctx->child;
1920         struct redir_struct *redir = child->redirects;
1921         struct redir_struct *last_redir = NULL;
1922
1923         /* Create a new redir_struct and drop it onto the end of the linked list */
1924         while (redir) {
1925                 last_redir = redir;
1926                 redir = redir->next;
1927         }
1928         redir = xmalloc(sizeof(struct redir_struct));
1929         redir->next = NULL;
1930         redir->word.gl_pathv = NULL;
1931         if (last_redir) {
1932                 last_redir->next = redir;
1933         } else {
1934                 child->redirects = redir;
1935         }
1936
1937         redir->type = style;
1938         redir->fd = (fd == -1) ? redir_table[style].default_fd : fd;
1939
1940         debug_printf("Redirect type %d%s\n", redir->fd, redir_table[style].descrip);
1941
1942         /* Check for a '2>&1' type redirect */
1943         redir->dup = redirect_dup_num(input);
1944         if (redir->dup == -2) return 1;  /* syntax error */
1945         if (redir->dup != -1) {
1946                 /* Erik had a check here that the file descriptor in question
1947                  * is legit; I postpone that to "run time"
1948                  * A "-" representation of "close me" shows up as a -3 here */
1949                 debug_printf("Duplicating redirect '%d>&%d'\n", redir->fd, redir->dup);
1950         } else {
1951                 /* We do _not_ try to open the file that src points to,
1952                  * since we need to return and let src be expanded first.
1953                  * Set ctx->pending_redirect, so we know what to do at the
1954                  * end of the next parsed word.
1955                  */
1956                 ctx->pending_redirect = redir;
1957         }
1958         return 0;
1959 }
1960
1961 static struct pipe *new_pipe(void) {
1962         struct pipe *pi;
1963         pi = xmalloc(sizeof(struct pipe));
1964         pi->num_progs = 0;
1965         pi->progs = NULL;
1966         pi->next = NULL;
1967         pi->followup = 0;  /* invalid */
1968         pi->r_mode = RES_NONE;
1969         return pi;
1970 }
1971
1972 static void initialize_context(struct p_context *ctx)
1973 {
1974         ctx->pipe = NULL;
1975         ctx->pending_redirect = NULL;
1976         ctx->child = NULL;
1977         ctx->list_head = new_pipe();
1978         ctx->pipe = ctx->list_head;
1979         ctx->w = RES_NONE;
1980         ctx->stack = NULL;
1981         ctx->old_flag = 0;
1982         done_command(ctx);   /* creates the memory for working child */
1983 }
1984
1985 /* normal return is 0
1986  * if a reserved word is found, and processed, return 1
1987  * should handle if, then, elif, else, fi, for, while, until, do, done.
1988  * case, function, and select are obnoxious, save those for later.
1989  */
1990 static int reserved_word(o_string *dest, struct p_context *ctx)
1991 {
1992         struct reserved_combo {
1993                 const char *literal;
1994                 int code;
1995                 long flag;
1996         };
1997         /* Mostly a list of accepted follow-up reserved words.
1998          * FLAG_END means we are done with the sequence, and are ready
1999          * to turn the compound list into a command.
2000          * FLAG_START means the word must start a new compound list.
2001          */
2002         static const struct reserved_combo reserved_list[] = {
2003                 { "if",    RES_IF,    FLAG_THEN | FLAG_START },
2004                 { "then",  RES_THEN,  FLAG_ELIF | FLAG_ELSE | FLAG_FI },
2005                 { "elif",  RES_ELIF,  FLAG_THEN },
2006                 { "else",  RES_ELSE,  FLAG_FI   },
2007                 { "fi",    RES_FI,    FLAG_END  },
2008                 { "for",   RES_FOR,   FLAG_IN   | FLAG_START },
2009                 { "while", RES_WHILE, FLAG_DO   | FLAG_START },
2010                 { "until", RES_UNTIL, FLAG_DO   | FLAG_START },
2011                 { "in",    RES_IN,    FLAG_DO   },
2012                 { "do",    RES_DO,    FLAG_DONE },
2013                 { "done",  RES_DONE,  FLAG_END  }
2014         };
2015         const struct reserved_combo *r;
2016 #define NRES sizeof(reserved_list)/sizeof(reserved_list[0])
2017
2018         for (r = reserved_list; r < reserved_list+NRES; r++) {
2019                 if (strcmp(dest->data, r->literal) == 0) {
2020                         debug_printf("found reserved word %s, code %d\n", r->literal, r->code);
2021                         if (r->flag & FLAG_START) {
2022                                 struct p_context *new = xmalloc(sizeof(struct p_context));
2023                                 debug_printf("push stack\n");
2024                                 if (ctx->w == RES_IN || ctx->w == RES_FOR) {
2025                                         syntax();
2026                                         free(new);
2027                                         ctx->w = RES_SNTX;
2028                                         b_reset(dest);
2029                                         return 1;
2030                                 }
2031                                 *new = *ctx;   /* physical copy */
2032                                 initialize_context(ctx);
2033                                 ctx->stack = new;
2034                         } else if (ctx->w == RES_NONE || !(ctx->old_flag & (1 << r->code))) {
2035                                 syntax();
2036                                 ctx->w = RES_SNTX;
2037                                 b_reset(dest);
2038                                 return 1;
2039                         }
2040                         ctx->w = r->code;
2041                         ctx->old_flag = r->flag;
2042                         if (ctx->old_flag & FLAG_END) {
2043                                 struct p_context *old;
2044                                 debug_printf("pop stack\n");
2045                                 done_pipe(ctx, PIPE_SEQ);
2046                                 old = ctx->stack;
2047                                 old->child->group = ctx->list_head;
2048                                 old->child->subshell = 0;
2049                                 *ctx = *old;   /* physical copy */
2050                                 free(old);
2051                         }
2052                         b_reset(dest);
2053                         return 1;
2054                 }
2055         }
2056         return 0;
2057 }
2058
2059 /* normal return is 0.
2060  * Syntax or xglob errors return 1. */
2061 static int done_word(o_string *dest, struct p_context *ctx)
2062 {
2063         struct child_prog *child = ctx->child;
2064         glob_t *glob_target;
2065         int gr, flags = 0;
2066
2067         debug_printf("done_word: %s %p\n", dest->data, child);
2068         if (dest->length == 0 && !dest->nonnull) {
2069                 debug_printf("  true null, ignored\n");
2070                 return 0;
2071         }
2072         if (ctx->pending_redirect) {
2073                 glob_target = &ctx->pending_redirect->word;
2074         } else {
2075                 if (child->group) {
2076                         syntax();
2077                         return 1;  /* syntax error, groups and arglists don't mix */
2078                 }
2079                 if (!child->argv && (ctx->type & FLAG_PARSE_SEMICOLON)) {
2080                         debug_printf("checking %s for reserved-ness\n", dest->data);
2081                         if (reserved_word(dest, ctx))
2082                                 return (ctx->w == RES_SNTX);
2083                 }
2084                 glob_target = &child->glob_result;
2085                 if (child->argv) flags |= GLOB_APPEND;
2086         }
2087         gr = xglob(dest, flags, glob_target);
2088         if (gr != 0) return 1;
2089
2090         b_reset(dest);
2091         if (ctx->pending_redirect) {
2092                 ctx->pending_redirect = NULL;
2093                 if (glob_target->gl_pathc != 1) {
2094                         bb_error_msg("ambiguous redirect");
2095                         return 1;
2096                 }
2097         } else {
2098                 child->argv = glob_target->gl_pathv;
2099         }
2100         if (ctx->w == RES_FOR) {
2101                 done_word(dest, ctx);
2102                 done_pipe(ctx, PIPE_SEQ);
2103         }
2104         return 0;
2105 }
2106
2107 /* The only possible error here is out of memory, in which case
2108  * xmalloc exits. */
2109 static int done_command(struct p_context *ctx)
2110 {
2111         /* The child is really already in the pipe structure, so
2112          * advance the pipe counter and make a new, null child.
2113          * Only real trickiness here is that the uncommitted
2114          * child structure, to which ctx->child points, is not
2115          * counted in pi->num_progs. */
2116         struct pipe *pi = ctx->pipe;
2117         struct child_prog *prog = ctx->child;
2118
2119         if (prog && prog->group == NULL
2120                  && prog->argv == NULL
2121                  && prog->redirects == NULL) {
2122                 debug_printf("done_command: skipping null command\n");
2123                 return 0;
2124         } else if (prog) {
2125                 pi->num_progs++;
2126                 debug_printf("done_command: num_progs incremented to %d\n", pi->num_progs);
2127         } else {
2128                 debug_printf("done_command: initializing\n");
2129         }
2130         pi->progs = xrealloc(pi->progs, sizeof(*pi->progs) * (pi->num_progs+1));
2131
2132         prog = pi->progs + pi->num_progs;
2133         prog->redirects = NULL;
2134         prog->argv = NULL;
2135         prog->is_stopped = 0;
2136         prog->group = NULL;
2137         prog->glob_result.gl_pathv = NULL;
2138         prog->family = pi;
2139         prog->sp = 0;
2140         ctx->child = prog;
2141         prog->type = ctx->type;
2142
2143         /* but ctx->pipe and ctx->list_head remain unchanged */
2144         return 0;
2145 }
2146
2147 static int done_pipe(struct p_context *ctx, pipe_style type)
2148 {
2149         struct pipe *new_p;
2150         done_command(ctx);  /* implicit closure of previous command */
2151         debug_printf("done_pipe, type %d\n", type);
2152         ctx->pipe->followup = type;
2153         ctx->pipe->r_mode = ctx->w;
2154         new_p = new_pipe();
2155         ctx->pipe->next = new_p;
2156         ctx->pipe = new_p;
2157         ctx->child = NULL;
2158         done_command(ctx);  /* set up new pipe to accept commands */
2159         return 0;
2160 }
2161
2162 /* peek ahead in the in_str to find out if we have a "&n" construct,
2163  * as in "2>&1", that represents duplicating a file descriptor.
2164  * returns either -2 (syntax error), -1 (no &), or the number found.
2165  */
2166 static int redirect_dup_num(struct in_str *input)
2167 {
2168         int ch, d = 0, ok = 0;
2169         ch = b_peek(input);
2170         if (ch != '&') return -1;
2171
2172         b_getch(input);  /* get the & */
2173         ch = b_peek(input);
2174         if (ch == '-') {
2175                 b_getch(input);
2176                 return -3;  /* "-" represents "close me" */
2177         }
2178         while (isdigit(ch)) {
2179                 d = d*10+(ch-'0');
2180                 ok = 1;
2181                 b_getch(input);
2182                 ch = b_peek(input);
2183         }
2184         if (ok) return d;
2185
2186         bb_error_msg("ambiguous redirect");
2187         return -2;
2188 }
2189
2190 /* If a redirect is immediately preceded by a number, that number is
2191  * supposed to tell which file descriptor to redirect.  This routine
2192  * looks for such preceding numbers.  In an ideal world this routine
2193  * needs to handle all the following classes of redirects...
2194  *     echo 2>foo     # redirects fd  2 to file "foo", nothing passed to echo
2195  *     echo 49>foo    # redirects fd 49 to file "foo", nothing passed to echo
2196  *     echo -2>foo    # redirects fd  1 to file "foo",    "-2" passed to echo
2197  *     echo 49x>foo   # redirects fd  1 to file "foo",   "49x" passed to echo
2198  * A -1 output from this program means no valid number was found, so the
2199  * caller should use the appropriate default for this redirection.
2200  */
2201 static int redirect_opt_num(o_string *o)
2202 {
2203         int num;
2204
2205         if (o->length == 0)
2206                 return -1;
2207         for (num = 0; num < o->length; num++) {
2208                 if (!isdigit(*(o->data + num))) {
2209                         return -1;
2210                 }
2211         }
2212         /* reuse num (and save an int) */
2213         num = atoi(o->data);
2214         b_reset(o);
2215         return num;
2216 }
2217
2218 static FILE *generate_stream_from_list(struct pipe *head)
2219 {
2220         FILE *pf;
2221         int pid, channel[2];
2222         if (pipe(channel) < 0) bb_perror_msg_and_die("pipe");
2223 #if BB_MMU
2224         pid = fork();
2225 #else
2226         pid = vfork();
2227 #endif
2228         if (pid < 0) {
2229                 bb_perror_msg_and_die("fork");
2230         } else if (pid == 0) {
2231                 close(channel[0]);
2232                 if (channel[1] != 1) {
2233                         dup2(channel[1],1);
2234                         close(channel[1]);
2235                 }
2236                 _exit(run_list_real(head));   /* leaks memory */
2237         }
2238         debug_printf("forked child %d\n", pid);
2239         close(channel[1]);
2240         pf = fdopen(channel[0],"r");
2241         debug_printf("pipe on FILE *%p\n", pf);
2242         return pf;
2243 }
2244
2245 /* this version hacked for testing purposes */
2246 /* return code is exit status of the process that is run. */
2247 static int process_command_subs(o_string *dest, struct p_context *ctx, struct in_str *input, int subst_end)
2248 {
2249         int retcode;
2250         o_string result = NULL_O_STRING;
2251         struct p_context inner;
2252         FILE *p;
2253         struct in_str pipe_str;
2254         initialize_context(&inner);
2255
2256         /* recursion to generate command */
2257         retcode = parse_stream(&result, &inner, input, subst_end);
2258         if (retcode != 0) return retcode;  /* syntax error or EOF */
2259         done_word(&result, &inner);
2260         done_pipe(&inner, PIPE_SEQ);
2261         b_free(&result);
2262
2263         p = generate_stream_from_list(inner.list_head);
2264         if (p == NULL) return 1;
2265         mark_open(fileno(p));
2266         setup_file_in_str(&pipe_str, p);
2267
2268         /* now send results of command back into original context */
2269         retcode = parse_stream(dest, ctx, &pipe_str, '\0');
2270         /* XXX In case of a syntax error, should we try to kill the child?
2271          * That would be tough to do right, so just read until EOF. */
2272         if (retcode == 1) {
2273                 while (b_getch(&pipe_str) != EOF)
2274                         /* discard */;
2275         }
2276
2277         debug_printf("done reading from pipe, pclose()ing\n");
2278         /* This is the step that wait()s for the child.  Should be pretty
2279          * safe, since we just read an EOF from its stdout.  We could try
2280          * to better, by using wait(), and keeping track of background jobs
2281          * at the same time.  That would be a lot of work, and contrary
2282          * to the KISS philosophy of this program. */
2283         mark_closed(fileno(p));
2284         retcode = pclose(p);
2285         free_pipe_list(inner.list_head, 0);
2286         debug_printf("pclosed, retcode=%d\n", retcode);
2287         /* XXX this process fails to trim a single trailing newline */
2288         return retcode;
2289 }
2290
2291 static int parse_group(o_string *dest, struct p_context *ctx,
2292         struct in_str *input, int ch)
2293 {
2294         int rcode, endch = 0;
2295         struct p_context sub;
2296         struct child_prog *child = ctx->child;
2297         if (child->argv) {
2298                 syntax();
2299                 return 1;  /* syntax error, groups and arglists don't mix */
2300         }
2301         initialize_context(&sub);
2302         switch (ch) {
2303         case '(':
2304                 endch = ')';
2305                 child->subshell = 1;
2306                 break;
2307         case '{':
2308                 endch = '}';
2309                 break;
2310         default:
2311                 syntax();   /* really logic error */
2312         }
2313         rcode = parse_stream(dest, &sub, input, endch);
2314         done_word(dest, &sub); /* finish off the final word in the subcontext */
2315         done_pipe(&sub, PIPE_SEQ);  /* and the final command there, too */
2316         child->group = sub.list_head;
2317         return rcode;
2318         /* child remains "open", available for possible redirects */
2319 }
2320
2321 /* basically useful version until someone wants to get fancier,
2322  * see the bash man page under "Parameter Expansion" */
2323 static const char *lookup_param(const char *src)
2324 {
2325         const char *p = NULL;
2326         if (src) {
2327                 p = getenv(src);
2328                 if (!p)
2329                         p = get_local_var(src);
2330         }
2331         return p;
2332 }
2333
2334 /* return code: 0 for OK, 1 for syntax error */
2335 static int handle_dollar(o_string *dest, struct p_context *ctx, struct in_str *input)
2336 {
2337         int i, advance = 0;
2338         char sep[] = " ";
2339         int ch = input->peek(input);  /* first character after the $ */
2340         debug_printf("handle_dollar: ch=%c\n", ch);
2341         if (isalpha(ch)) {
2342                 b_addchr(dest, SPECIAL_VAR_SYMBOL);
2343                 ctx->child->sp++;
2344                 while (ch = b_peek(input), isalnum(ch) || ch == '_') {
2345                         b_getch(input);
2346                         b_addchr(dest, ch);
2347                 }
2348                 b_addchr(dest, SPECIAL_VAR_SYMBOL);
2349         } else if (isdigit(ch)) {
2350                 i = ch-'0';  /* XXX is $0 special? */
2351                 if (i < global_argc) {
2352                         parse_string(dest, ctx, global_argv[i]); /* recursion */
2353                 }
2354                 advance = 1;
2355         } else switch (ch) {
2356                 case '$':
2357                         b_adduint(dest, getpid());
2358                         advance = 1;
2359                         break;
2360                 case '!':
2361                         if (last_bg_pid > 0) b_adduint(dest, last_bg_pid);
2362                         advance = 1;
2363                         break;
2364                 case '?':
2365                         b_adduint(dest, last_return_code);
2366                         advance = 1;
2367                         break;
2368                 case '#':
2369                         b_adduint(dest, global_argc ? global_argc-1 : 0);
2370                         advance = 1;
2371                         break;
2372                 case '{':
2373                         b_addchr(dest, SPECIAL_VAR_SYMBOL);
2374                         ctx->child->sp++;
2375                         b_getch(input);
2376                         /* XXX maybe someone will try to escape the '}' */
2377                         while (1) {
2378                                 ch = b_getch(input);
2379                                 if (ch == EOF || ch == '}')
2380                                         break;
2381                                 b_addchr(dest, ch);
2382                         }
2383                         if (ch != '}') {
2384                                 syntax();
2385                                 return 1;
2386                         }
2387                         b_addchr(dest, SPECIAL_VAR_SYMBOL);
2388                         break;
2389                 case '(':
2390                         b_getch(input);
2391                         process_command_subs(dest, ctx, input, ')');
2392                         break;
2393                 case '*':
2394                         sep[0] = ifs[0];
2395                         for (i = 1; i < global_argc; i++) {
2396                                 parse_string(dest, ctx, global_argv[i]);
2397                                 if (i+1 < global_argc)
2398                                         parse_string(dest, ctx, sep);
2399                         }
2400                         break;
2401                 case '@':
2402                 case '-':
2403                 case '_':
2404                         /* still unhandled, but should be eventually */
2405                         bb_error_msg("unhandled syntax: $%c", ch);
2406                         return 1;
2407                         break;
2408                 default:
2409                         b_addqchr(dest,'$', dest->quote);
2410         }
2411         /* Eat the character if the flag was set.  If the compiler
2412          * is smart enough, we could substitute "b_getch(input);"
2413          * for all the "advance = 1;" above, and also end up with
2414          * a nice size-optimized program.  Hah!  That'll be the day.
2415          */
2416         if (advance) b_getch(input);
2417         return 0;
2418 }
2419
2420 int parse_string(o_string *dest, struct p_context *ctx, const char *src)
2421 {
2422         struct in_str foo;
2423         setup_string_in_str(&foo, src);
2424         return parse_stream(dest, ctx, &foo, '\0');
2425 }
2426
2427 /* return code is 0 for normal exit, 1 for syntax error */
2428 int parse_stream(o_string *dest, struct p_context *ctx,
2429         struct in_str *input, int end_trigger)
2430 {
2431         int ch, m;
2432         int redir_fd;
2433         redir_type redir_style;
2434         int next;
2435
2436         /* Only double-quote state is handled in the state variable dest->quote.
2437          * A single-quote triggers a bypass of the main loop until its mate is
2438          * found.  When recursing, quote state is passed in via dest->quote. */
2439
2440         debug_printf("parse_stream, end_trigger=%d\n", end_trigger);
2441         while ((ch = b_getch(input)) != EOF) {
2442                 m = map[ch];
2443                 next = (ch == '\n') ? 0 : b_peek(input);
2444                 debug_printf("parse_stream: ch=%c (%d) m=%d quote=%d\n",
2445                                                 ch, ch, m, dest->quote);
2446                 if (m == 0 || ((m == 1 || m == 2) && dest->quote)) {
2447                         b_addqchr(dest, ch, dest->quote);
2448                         continue;
2449                 }
2450                 if (m == 2) {  /* unquoted IFS */
2451                         if (done_word(dest, ctx)) {
2452                                 return 1;
2453                         }
2454                         /* If we aren't performing a substitution, treat a newline as a
2455                          * command separator.  */
2456                         if (end_trigger != '\0' && ch == '\n')
2457                                 done_pipe(ctx, PIPE_SEQ);
2458                 }
2459                 if (ch == end_trigger && !dest->quote && ctx->w == RES_NONE) {
2460                         debug_printf("leaving parse_stream (triggered)\n");
2461                         return 0;
2462                 }
2463                 if (m == 2)
2464                         continue;
2465                 switch (ch) {
2466                 case '#':
2467                         if (dest->length == 0 && !dest->quote) {
2468                                 while (1) {
2469                                         ch = b_peek(input);
2470                                         if (ch == EOF || ch == '\n')
2471                                                 break;
2472                                         b_getch(input);
2473                                 }
2474                         } else {
2475                                 b_addqchr(dest, ch, dest->quote);
2476                         }
2477                         break;
2478                 case '\\':
2479                         if (next == EOF) {
2480                                 syntax();
2481                                 return 1;
2482                         }
2483                         b_addqchr(dest, '\\', dest->quote);
2484                         b_addqchr(dest, b_getch(input), dest->quote);
2485                         break;
2486                 case '$':
2487                         if (handle_dollar(dest, ctx, input) != 0) return 1;
2488                         break;
2489                 case '\'':
2490                         dest->nonnull = 1;
2491                         while (1) {
2492                                 ch = b_getch(input);
2493                                 if (ch == EOF || ch == '\'')
2494                                         break;
2495                                 b_addchr(dest, ch);
2496                         }
2497                         if (ch == EOF) {
2498                                 syntax();
2499                                 return 1;
2500                         }
2501                         break;
2502                 case '"':
2503                         dest->nonnull = 1;
2504                         dest->quote = !dest->quote;
2505                         break;
2506                 case '`':
2507                         process_command_subs(dest, ctx, input, '`');
2508                         break;
2509                 case '>':
2510                         redir_fd = redirect_opt_num(dest);
2511                         done_word(dest, ctx);
2512                         redir_style = REDIRECT_OVERWRITE;
2513                         if (next == '>') {
2514                                 redir_style = REDIRECT_APPEND;
2515                                 b_getch(input);
2516                         } else if (next == '(') {
2517                                 syntax();   /* until we support >(list) Process Substitution */
2518                                 return 1;
2519                         }
2520                         setup_redirect(ctx, redir_fd, redir_style, input);
2521                         break;
2522                 case '<':
2523                         redir_fd = redirect_opt_num(dest);
2524                         done_word(dest, ctx);
2525                         redir_style = REDIRECT_INPUT;
2526                         if (next == '<') {
2527                                 redir_style = REDIRECT_HEREIS;
2528                                 b_getch(input);
2529                         } else if (next == '>') {
2530                                 redir_style = REDIRECT_IO;
2531                                 b_getch(input);
2532                         } else if (next == '(') {
2533                                 syntax();   /* until we support <(list) Process Substitution */
2534                                 return 1;
2535                         }
2536                         setup_redirect(ctx, redir_fd, redir_style, input);
2537                         break;
2538                 case ';':
2539                         done_word(dest, ctx);
2540                         done_pipe(ctx, PIPE_SEQ);
2541                         break;
2542                 case '&':
2543                         done_word(dest, ctx);
2544                         if (next == '&') {
2545                                 b_getch(input);
2546                                 done_pipe(ctx, PIPE_AND);
2547                         } else {
2548                                 done_pipe(ctx, PIPE_BG);
2549                         }
2550                         break;
2551                 case '|':
2552                         done_word(dest, ctx);
2553                         if (next == '|') {
2554                                 b_getch(input);
2555                                 done_pipe(ctx, PIPE_OR);
2556                         } else {
2557                                 /* we could pick up a file descriptor choice here
2558                                  * with redirect_opt_num(), but bash doesn't do it.
2559                                  * "echo foo 2| cat" yields "foo 2". */
2560                                 done_command(ctx);
2561                         }
2562                         break;
2563                 case '(':
2564                 case '{':
2565                         if (parse_group(dest, ctx, input, ch) != 0)
2566                                 return 1;
2567                         break;
2568                 case ')':
2569                 case '}':
2570                         syntax();   /* Proper use of this character caught by end_trigger */
2571                         return 1;
2572                 default:
2573                         syntax();   /* this is really an internal logic error */
2574                         return 1;
2575                 }
2576         }
2577         /* complain if quote?  No, maybe we just finished a command substitution
2578          * that was quoted.  Example:
2579          * $ echo "`cat foo` plus more"
2580          * and we just got the EOF generated by the subshell that ran "cat foo"
2581          * The only real complaint is if we got an EOF when end_trigger != '\0',
2582          * that is, we were really supposed to get end_trigger, and never got
2583          * one before the EOF.  Can't use the standard "syntax error" return code,
2584          * so that parse_stream_outer can distinguish the EOF and exit smoothly. */
2585         debug_printf("leaving parse_stream (EOF)\n");
2586         if (end_trigger != '\0')
2587                 return -1;
2588         return 0;
2589 }
2590
2591 static void mapset(const char *set, int code)
2592 {
2593         while (*set)
2594                 map[(unsigned char)*set++] = code;
2595 }
2596
2597 static void update_ifs_map(void)
2598 {
2599         /* char *ifs and char map[256] are both globals. */
2600         ifs = getenv("IFS");
2601         if (ifs == NULL) ifs = " \t\n";
2602         /* Precompute a list of 'flow through' behavior so it can be treated
2603          * quickly up front.  Computation is necessary because of IFS.
2604          * Special case handling of IFS == " \t\n" is not implemented.
2605          * The map[] array only really needs two bits each, and on most machines
2606          * that would be faster because of the reduced L1 cache footprint.
2607          */
2608         memset(map, 0, sizeof(map)); /* most characters flow through always */
2609         mapset("\\$'\"`", 3);        /* never flow through */
2610         mapset("<>;&|(){}#", 1);     /* flow through if quoted */
2611         mapset(ifs, 2);              /* also flow through if quoted */
2612 }
2613
2614 /* most recursion does not come through here, the exception is
2615  * from builtin_source() */
2616 int parse_stream_outer(struct in_str *inp, int flag)
2617 {
2618         struct p_context ctx;
2619         o_string temp = NULL_O_STRING;
2620         int rcode;
2621         do {
2622                 ctx.type = flag;
2623                 initialize_context(&ctx);
2624                 update_ifs_map();
2625                 if (!(flag & FLAG_PARSE_SEMICOLON) || (flag & FLAG_REPARSING)) mapset(";$&|", 0);
2626                 inp->promptmode = 1;
2627                 rcode = parse_stream(&temp, &ctx, inp, '\n');
2628                 if (rcode != 1 && ctx.old_flag != 0) {
2629                         syntax();
2630                 }
2631                 if (rcode != 1 && ctx.old_flag == 0) {
2632                         done_word(&temp, &ctx);
2633                         done_pipe(&ctx, PIPE_SEQ);
2634                         run_list(ctx.list_head);
2635                 } else {
2636                         if (ctx.old_flag != 0) {
2637                                 free(ctx.stack);
2638                                 b_reset(&temp);
2639                         }
2640                         temp.nonnull = 0;
2641                         temp.quote = 0;
2642                         inp->p = NULL;
2643                         free_pipe_list(ctx.list_head,0);
2644                 }
2645                 b_free(&temp);
2646         } while (rcode != -1 && !(flag & FLAG_EXIT_FROM_LOOP));   /* loop on syntax errors, return on EOF */
2647         return 0;
2648 }
2649
2650 static int parse_string_outer(const char *s, int flag)
2651 {
2652         struct in_str input;
2653         setup_string_in_str(&input, s);
2654         return parse_stream_outer(&input, flag);
2655 }
2656
2657 static int parse_file_outer(FILE *f)
2658 {
2659         int rcode;
2660         struct in_str input;
2661         setup_file_in_str(&input, f);
2662         rcode = parse_stream_outer(&input, FLAG_PARSE_SEMICOLON);
2663         return rcode;
2664 }
2665
2666 /* Make sure we have a controlling tty.  If we get started under a job
2667  * aware app (like bash for example), make sure we are now in charge so
2668  * we don't fight over who gets the foreground */
2669 static void setup_job_control(void)
2670 {
2671         /*static --why?? */  pid_t shell_pgrp;
2672
2673         /* Loop until we are in the foreground.  */
2674         while (tcgetpgrp(shell_terminal) != (shell_pgrp = getpgrp()))
2675                 kill(- shell_pgrp, SIGTTIN);
2676
2677         /* Ignore interactive and job-control signals.  */
2678         signal(SIGINT, SIG_IGN);
2679         signal(SIGQUIT, SIG_IGN);
2680         signal(SIGTERM, SIG_IGN);
2681         signal(SIGTSTP, SIG_IGN);
2682         signal(SIGTTIN, SIG_IGN);
2683         signal(SIGTTOU, SIG_IGN);
2684         signal(SIGCHLD, SIG_IGN);
2685
2686         /* Put ourselves in our own process group.  */
2687         setsid();
2688         shell_pgrp = getpid();
2689         setpgid(shell_pgrp, shell_pgrp);
2690
2691         /* Grab control of the terminal.  */
2692         tcsetpgrp(shell_terminal, shell_pgrp);
2693 }
2694
2695 int hush_main(int argc, char **argv);
2696 int hush_main(int argc, char **argv)
2697 {
2698         int opt;
2699         FILE *input;
2700         char **e;
2701
2702 #if ENABLE_FEATURE_EDITING
2703         line_input_state = new_line_input_t(FOR_SHELL);
2704 #endif
2705
2706         /* XXX what should these be while sourcing /etc/profile? */
2707         global_argc = argc;
2708         global_argv = argv;
2709
2710         /* (re?) initialize globals.  Sometimes hush_main() ends up calling
2711          * hush_main(), therefore we cannot rely on the BSS to zero out this
2712          * stuff.  Reset these to 0 every time. */
2713         ifs = NULL;
2714         /* map[] is taken care of with call to update_ifs_map() */
2715         fake_mode = 0;
2716         interactive = 0;
2717         close_me_head = NULL;
2718         last_bg_pid = 0;
2719         job_list = NULL;
2720         last_jobid = 0;
2721
2722         /* Initialize some more globals to non-zero values */
2723         set_cwd();
2724         if (ENABLE_FEATURE_EDITING)
2725                 cmdedit_set_initial_prompt();
2726         else PS1 = NULL;
2727         PS2 = "> ";
2728
2729         /* initialize our shell local variables with the values
2730          * currently living in the environment */
2731         e = environ;
2732         if (e)
2733                 while (*e)
2734                         set_local_var(*e++, 2);   /* without call putenv() */
2735
2736         last_return_code = EXIT_SUCCESS;
2737
2738         if (argv[0] && argv[0][0] == '-') {
2739                 debug_printf("\nsourcing /etc/profile\n");
2740                 input = fopen("/etc/profile", "r");
2741                 if (input != NULL) {
2742                         mark_open(fileno(input));
2743                         parse_file_outer(input);
2744                         mark_closed(fileno(input));
2745                         fclose(input);
2746                 }
2747         }
2748         input = stdin;
2749
2750         while ((opt = getopt(argc, argv, "c:xif")) > 0) {
2751                 switch (opt) {
2752                 case 'c':
2753                         global_argv = argv+optind;
2754                         global_argc = argc-optind;
2755                         opt = parse_string_outer(optarg, FLAG_PARSE_SEMICOLON);
2756                         goto final_return;
2757                 case 'i':
2758                         interactive++;
2759                         break;
2760                 case 'f':
2761                         fake_mode++;
2762                         break;
2763                 default:
2764 #ifndef BB_VER
2765                         fprintf(stderr, "Usage: sh [FILE]...\n"
2766                                         "   or: sh -c command [args]...\n\n");
2767                         exit(EXIT_FAILURE);
2768 #else
2769                         bb_show_usage();
2770 #endif
2771                 }
2772         }
2773         /* A shell is interactive if the '-i' flag was given, or if all of
2774          * the following conditions are met:
2775          *        no -c command
2776          *    no arguments remaining or the -s flag given
2777          *    standard input is a terminal
2778          *    standard output is a terminal
2779          *    Refer to Posix.2, the description of the 'sh' utility. */
2780         if (argv[optind] == NULL && input == stdin
2781          && isatty(STDIN_FILENO) && isatty(STDOUT_FILENO)
2782         ) {
2783                 interactive++;
2784         }
2785
2786         debug_printf("\ninteractive=%d\n", interactive);
2787         if (interactive) {
2788                 /* Looks like they want an interactive shell */
2789 #if !ENABLE_FEATURE_SH_EXTRA_QUIET
2790                 printf( "\n\n%s hush - the humble shell v0.01 (testing)\n",
2791                         BB_BANNER);
2792                 printf( "Enter 'help' for a list of built-in commands.\n\n");
2793 #endif
2794                 setup_job_control();
2795         }
2796
2797         if (argv[optind] == NULL) {
2798                 opt = parse_file_outer(stdin);
2799                 goto final_return;
2800         }
2801
2802         debug_printf("\nrunning script '%s'\n", argv[optind]);
2803         global_argv = argv + optind;
2804         global_argc = argc - optind;
2805         input = xfopen(argv[optind], "r");
2806         opt = parse_file_outer(input);
2807
2808 #if ENABLE_FEATURE_CLEAN_UP
2809         fclose(input);
2810         if (cwd != bb_msg_unknown)
2811                 free((char*)cwd);
2812         {
2813                 struct variables *cur, *tmp;
2814                 for (cur = top_vars; cur; cur = tmp) {
2815                         tmp = cur->next;
2816                         if (!cur->flg_read_only) {
2817                                 free((char*)cur->name);
2818                                 free((char*)cur->value);
2819                                 free(cur);
2820                         }
2821                 }
2822         }
2823 #endif
2824
2825  final_return:
2826         return opt ? opt : last_return_code;
2827 }
2828
2829 static char *insert_var_value(char *inp)
2830 {
2831         int res_str_len = 0;
2832         int len;
2833         int done = 0;
2834         char *p, *res_str = NULL;
2835         const char *p1;
2836
2837         while ((p = strchr(inp, SPECIAL_VAR_SYMBOL))) {
2838                 if (p != inp) {
2839                         len = p - inp;
2840                         res_str = xrealloc(res_str, (res_str_len + len));
2841                         strncpy((res_str + res_str_len), inp, len);
2842                         res_str_len += len;
2843                 }
2844                 inp = ++p;
2845                 p = strchr(inp, SPECIAL_VAR_SYMBOL);
2846                 *p = '\0';
2847                 p1 = lookup_param(inp);
2848                 if (p1) {
2849                         len = res_str_len + strlen(p1);
2850                         res_str = xrealloc(res_str, (1 + len));
2851                         strcpy((res_str + res_str_len), p1);
2852                         res_str_len = len;
2853                 }
2854                 *p = SPECIAL_VAR_SYMBOL;
2855                 inp = ++p;
2856                 done = 1;
2857         }
2858         if (done) {
2859                 res_str = xrealloc(res_str, (1 + res_str_len + strlen(inp)));
2860                 strcpy((res_str + res_str_len), inp);
2861                 while ((p = strchr(res_str, '\n'))) {
2862                         *p = ' ';
2863                 }
2864         }
2865         return (res_str == NULL) ? inp : res_str;
2866 }
2867
2868 static char **make_list_in(char **inp, char *name)
2869 {
2870         int len, i;
2871         int name_len = strlen(name);
2872         int n = 0;
2873         char **list;
2874         char *p1, *p2, *p3;
2875
2876         /* create list of variable values */
2877         list = xmalloc(sizeof(*list));
2878         for (i = 0; inp[i]; i++) {
2879                 p3 = insert_var_value(inp[i]);
2880                 p1 = p3;
2881                 while (*p1) {
2882                         if ((*p1 == ' ')) {
2883                                 p1++;
2884                                 continue;
2885                         }
2886                         p2 = strchr(p1, ' ');
2887                         if (p2) {
2888                                 len = p2 - p1;
2889                         } else {
2890                                 len = strlen(p1);
2891                                 p2 = p1 + len;
2892                         }
2893                         /* we use n + 2 in realloc for list, because we add
2894                          * new element and then we will add NULL element */
2895                         list = xrealloc(list, sizeof(*list) * (n + 2));
2896                         list[n] = xmalloc(2 + name_len + len);
2897                         strcpy(list[n], name);
2898                         strcat(list[n], "=");
2899                         strncat(list[n], p1, len);
2900                         list[n++][name_len + len + 1] = '\0';
2901                         p1 = p2;
2902                 }
2903                 if (p3 != inp[i]) free(p3);
2904         }
2905         list[n] = NULL;
2906         return list;
2907 }
2908
2909 /* Make new string for parser */
2910 static char* make_string(char ** inp)
2911 {
2912         char *p;
2913         char *str = NULL;
2914         int n;
2915         int len = 2;
2916
2917         for (n = 0; inp[n]; n++) {
2918                 p = insert_var_value(inp[n]);
2919                 str = xrealloc(str, (len + strlen(p)));
2920                 if (n) {
2921                         strcat(str, " ");
2922                 } else {
2923                         *str = '\0';
2924                 }
2925                 strcat(str, p);
2926                 len = strlen(str) + 3;
2927                 if (p != inp[n]) free(p);
2928         }
2929         len = strlen(str);
2930         str[len] = '\n';
2931         str[len+1] = '\0';
2932         return str;
2933 }