From 1508c40a92f4472231b976c6dd8d3e2c24daef72 Mon Sep 17 00:00:00 2001 From: Alessandro Iezzi Date: Wed, 11 May 2022 18:12:19 +0200 Subject: Add docs/shell/ --- docs/shell/commands.rhtml | 4 ++ docs/shell/commands.rhtml.config | 4 ++ docs/shell/index.rhtml | 7 ++++ docs/shell/index.rhtml.config | 4 ++ docs/shell/jq.rhtml | 8 ++++ docs/shell/jq.rhtml.config | 4 ++ docs/shell/shell.tmpl | 89 ++++++++++++++++++++++++++++++++++++++++ 7 files changed, 120 insertions(+) create mode 100644 docs/shell/commands.rhtml create mode 100644 docs/shell/commands.rhtml.config create mode 100644 docs/shell/index.rhtml create mode 100644 docs/shell/index.rhtml.config create mode 100644 docs/shell/jq.rhtml create mode 100644 docs/shell/jq.rhtml.config create mode 100644 docs/shell/shell.tmpl (limited to 'docs/shell') diff --git a/docs/shell/commands.rhtml b/docs/shell/commands.rhtml new file mode 100644 index 0000000..3a029d2 --- /dev/null +++ b/docs/shell/commands.rhtml @@ -0,0 +1,4 @@ +

Elenco dei comandi della shell

+ \ No newline at end of file diff --git a/docs/shell/commands.rhtml.config b/docs/shell/commands.rhtml.config new file mode 100644 index 0000000..9664c1b --- /dev/null +++ b/docs/shell/commands.rhtml.config @@ -0,0 +1,4 @@ +title: "Shell" +category: notes +pageNames: [shell, shell-commands, Comandi] +master: [docs/shell/shell.tmpl, master.rhtml] \ No newline at end of file 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 @@ +

Shell

+ +

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 sh, csh, tsh, zsh e + bash.

+ diff --git a/docs/shell/index.rhtml.config b/docs/shell/index.rhtml.config new file mode 100644 index 0000000..35b84b0 --- /dev/null +++ b/docs/shell/index.rhtml.config @@ -0,0 +1,4 @@ +title: "Shell" +category: notes +pageNames: [shell, shell-index, Indice] +master: [docs/shell/shell.tmpl, master.rhtml] \ No newline at end of file diff --git a/docs/shell/jq.rhtml b/docs/shell/jq.rhtml new file mode 100644 index 0000000..8605b76 --- /dev/null +++ b/docs/shell/jq.rhtml @@ -0,0 +1,8 @@ +

Shell

+

jq - Command-line JSON processor

+

+ FreeBSD: pkg install jq +

+

Un comando molto utile per chi lavora in ambito enterprise è jq. Consente di navigare il JSON in + maniera molto semplice. Di seguito viene riportato un esempio di utilizzo:

+
curl -X GET http://example.com/rest-endpoint | jq ".someField"
diff --git a/docs/shell/jq.rhtml.config b/docs/shell/jq.rhtml.config new file mode 100644 index 0000000..c937145 --- /dev/null +++ b/docs/shell/jq.rhtml.config @@ -0,0 +1,4 @@ +title: "Shell [jq]" +category: notes +pageNames: [shell, shell-commands, jq] +master: [docs/shell/shell.tmpl, master.rhtml] \ No newline at end of file diff --git a/docs/shell/shell.tmpl b/docs/shell/shell.tmpl new file mode 100644 index 0000000..d65f0bc --- /dev/null +++ b/docs/shell/shell.tmpl @@ -0,0 +1,89 @@ + + +
+
+
Shell
+ +
+
+
+ Qui di seguito puoi trovare una lista di tutti i comandi trattati nella guida. +
+
+ + + + + + +
+
+
+ + +<%= render @pageFileName %> -- cgit v1.2.3