diff options
Diffstat (limited to 'userspace/init.c')
| -rw-r--r-- | userspace/init.c | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/userspace/init.c b/userspace/init.c index a367fd9..3384edb 100644 --- a/userspace/init.c +++ b/userspace/init.c @@ -1,13 +1,10 @@ #include <stdio.h> #include <time.h> - int main(int argc, char **argv) { - char *argv1[]={"/bin/foolshell",0}; char *env1[]={"PS1=\033[34m$\033[37m","PWD=/home/miguel","PATH=/bin","TERM=fool-term",0}; - printf("fool-init\n"); time_t ltime; time(<ime); @@ -18,8 +15,6 @@ int main(int argc, char **argv) { int pid=_fork(); - printf("fool-init: forked pid=%d\n", pid); - if(pid==0) { _execve("/bin/foolshell",argv1,env1); // replace process with our foolshell :) @@ -31,8 +26,7 @@ int main(int argc, char **argv) _wait(pid); printf("fool-init: catched exit of process %d.\n",pid); - printf("fool-init: respawning a Fools Shell\n"); - + printf("fool-init: respawning a new fool-shell\n"); } return 0; |