summaryrefslogtreecommitdiff
path: root/src/user/app/shell/shell.h
diff options
context:
space:
mode:
authordzwdz2022-08-07 23:50:15 +0200
committerdzwdz2022-08-07 23:50:15 +0200
commitb0addbe14d2353e9c33f7f4d8a0b4ba8b24b2bd9 (patch)
tree0831f7c86e41ca2933e6dc5ec02c2d8b7078cd73 /src/user/app/shell/shell.h
parentbd6af34828a9075edbda7f09011175d0bd11143f (diff)
user/shell: make `whitelist` work in a more sensible way
doesn't need to be a shell builtin now
Diffstat (limited to 'src/user/app/shell/shell.h')
-rw-r--r--src/user/app/shell/shell.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/user/app/shell/shell.h b/src/user/app/shell/shell.h
index 5097e00..a8f0012 100644
--- a/src/user/app/shell/shell.h
+++ b/src/user/app/shell/shell.h
@@ -10,3 +10,4 @@ struct redir {
};
int parse(char *s, char **argv, size_t argvlen, struct redir *redir);
+void run_args(int argc, char **argv, struct redir *redir);