diff options
| author |   Alessandro Iezzi <aiezzi@alessandroiezzi.it> | 2022-05-11 18:12:19 +0200 |
|---|---|---|
| committer | Alessandro Iezzi <aiezzi@alessandroiezzi.it> | 2022-05-11 18:12:19 +0200 |
| commit | 1508c40a92f4472231b976c6dd8d3e2c24daef72 (patch) | |
| tree | 21a5a4c9d58d47b4fdfcc0dd6186784dbb8eb543 /docs/shell/index.rhtml | |
| parent | dfd94540d6d024efe9c08b48efe922591d92cae9 (diff) | |
| download | website-1508c40a92f4472231b976c6dd8d3e2c24daef72.tar.gz website-1508c40a92f4472231b976c6dd8d3e2c24daef72.zip | |
Add docs/shell/
Diffstat (limited to 'docs/shell/index.rhtml')
| -rw-r--r-- | docs/shell/index.rhtml | 7 |
1 files changed, 7 insertions, 0 deletions
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 è uno strumento fondamentale che consente l'interazione con il sistema operativo. Con essa è + possibile eseguire comandi e applicazioni. Sostanzialmente, la shell è un interprete, quindi viene "usata" con + un linguaggio di scripting. Le shell più note sono <i>sh</i>, <i>csh</i>, <i>tsh</i>, <i>zsh</i> e + <i>bash</i>.</p> + |