1 files changed, 21 insertions, 3 deletions
diff --git a/cpukit/libmisc/shell/shell.h b/cpukit/libmisc/shell/shell.h
index 9415c5940f..2aca183138 100644
--- a/cpukit/libmisc/shell/shell.h
+++ b/cpukit/libmisc/shell/shell.h
@@ -73,9 +73,27 @@ int rtems_shell_make_args(
   int    max_args
 );
 
-int rtems_shell_scanline(char * line,int size,FILE * in,FILE * out) ;
-int rtems_shell_cat_file(FILE * out,char *name);
-void rtems_shell_write_file(char *name,char * content);
+int rtems_shell_scanline(
+  char *line,
+  int   size,
+  FILE *in,
+  FILE *out
+);
+
+int rtems_shell_cat_file(
+  FILE *out,
+  char *name
+);
+
+void rtems_shell_write_file(
+  const char *name,
+  const char *content
+);
+
+int rtems_shell_script_file(
+  int   argc,
+  char *argv[]
+);
 
 /**
  * Initialise the shell creating tasks to login and run the shell