From 916d99ad405d79853e323024d48a03176c587bca Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Helleu?= <flashcode@flashtux.org>
Date: Sat, 17 Nov 2018 11:39:28 +0100
Subject: exec: add option exec.command.shell to customize the shell used with
 /exec -sh

---
 doc/it/autogen/user/exec_options.adoc | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'doc/it/autogen')

diff --git a/doc/it/autogen/user/exec_options.adoc b/doc/it/autogen/user/exec_options.adoc
index 7f8519ca9..e65192aae 100644
--- a/doc/it/autogen/user/exec_options.adoc
+++ b/doc/it/autogen/user/exec_options.adoc
@@ -25,3 +25,9 @@
 ** tipo: intero
 ** valori: -1 .. 25920000
 ** valore predefinito: `+0+`
+
+* [[option_exec.command.shell]] *exec.command.shell*
+** descrizione: pass:none[shell to use with command "/exec -sh"; it can be just the name of shell if it is in PATH (for example "bash") or the absolute path to the shell (for example "/bin/bash")]
+** tipo: stringa
+** valori: qualsiasi stringa
+** valore predefinito: `+"sh"+`
-- 
cgit v1.2.3