Merge pull request #43 from fischerling/improve-shell

Improve shell
mentos-team · Mar 5, 2024 · 2579cec · 2579cec
2 parents 7150f33 + 46a5529
commit 2579cec
Show file tree

Hide file tree

Showing 2 changed files with 395 additions and 183 deletions.
diff --git a/files/usr/share/man/shell.man b/files/usr/share/man/shell.man
@@ -0,0 +1,12 @@
+SYNOPSIS
+    shell [FILE]
+
+DESCRIPTION
+    shell reads and executes commands from a file or from standard input.
+
+INVOCATION
+    An interactive shell is one started without arguments, whose standard
+    input and error are both connected to terminals.
+
+    When shell is started as interactive shell it first reads and executes
+    commands from the file ~/.shellrc.