diff options
Diffstat (limited to 'examples/loadables/push.c')
| -rw-r--r-- | examples/loadables/push.c | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/examples/loadables/push.c b/examples/loadables/push.c index 497ecd0..b076073 100644 --- a/examples/loadables/push.c +++ b/examples/loadables/push.c @@ -3,6 +3,24 @@ * */ +/* + Copyright (C) 1999-2009 Free Software Foundation, Inc. + + This file is part of GNU Bash. + Bash is free software: you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation, either version 3 of the License, or + (at your option) any later version. + + Bash is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with Bash. If not, see <http://www.gnu.org/licenses/>. +*/ + #include <config.h> #include <stdio.h> #include <errno.h> @@ -11,6 +29,7 @@ #include "shell.h" #include "jobs.h" #include "bashgetopt.h" +#include "common.h" #ifndef errno extern int errno; @@ -78,6 +97,8 @@ push_builtin (list) } char *push_doc[] = { + "Create child shell.", + "", "Create a child that is an exact duplicate of the running shell", "and wait for it to exit. The $SHLVL, $!, $$, and $PPID variables", "are adjusted in the child. The return value is the exit status", |