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