From 1508c40a92f4472231b976c6dd8d3e2c24daef72 Mon Sep 17 00:00:00 2001
From: Alessandro Iezzi <aiezzi@alessandroiezzi.it>
Date: Wed, 11 May 2022 18:12:19 +0200
Subject: Add docs/shell/

---
 docs/shell/index.rhtml | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 docs/shell/index.rhtml

(limited to 'docs/shell/index.rhtml')

diff --git a/docs/shell/index.rhtml b/docs/shell/index.rhtml
new file mode 100644
index 0000000..4e64bed
--- /dev/null
+++ b/docs/shell/index.rhtml
@@ -0,0 +1,7 @@
+<h1>Shell</h1>
+
+<p>La shell &egrave; uno strumento fondamentale che consente l'interazione con il sistema operativo. Con essa &egrave;
+   possibile eseguire comandi e applicazioni. Sostanzialmente, la shell &egrave; un interprete, quindi viene "usata" con
+   un linguaggio di scripting. Le shell pi&ugrave; note sono <i>sh</i>, <i>csh</i>, <i>tsh</i>, <i>zsh</i> e
+   <i>bash</i>.</p>
+
-- 
cgit v1.2.3