From 91bcad7cce08ac4d3f6a4123710fcabb1fef7244 Mon Sep 17 00:00:00 2001 From: Linus Groh Date: Fri, 2 Oct 2020 12:45:42 +0100 Subject: [PATCH] Base: Add missing options to the Shell(1) man page --- Base/usr/share/man/man1/Shell.md | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Base/usr/share/man/man1/Shell.md b/Base/usr/share/man/man1/Shell.md index 1d480dac8cf..de2a6720eac 100644 --- a/Base/usr/share/man/man1/Shell.md +++ b/Base/usr/share/man/man1/Shell.md @@ -5,9 +5,10 @@ ## Synopsis ```**sh -$ Shell [--skip-shellrc] +$ Shell [--skip-shellrc] [--live-formatting] $ Shell [--skip-shellrc] command_file [arguments...] $ Shell [--skip-shellrc] -c command_string [arguments...] +$ Shell [--skip-shellrc] --format command_file ``` ## Description @@ -25,6 +26,8 @@ The `Shell` utility does not promise POSIX `sh` interoperability. * `-c`, `--command-string`: Executes the given string as a command and exits * `--skip-shellrc`: Skips running the initialisation file (at `~/.shellrc`) +* `--format`: Format shell code from the given file and print the result to standard output +* `-f`, `--live-formatting`: Enable live formatting of the line editor buffer (in REPL mode) ## Examples