From 916d99ad405d79853e323024d48a03176c587bca Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=A9bastien=20Helleu?= 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/fr/autogen/user/exec_options.adoc | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'doc/fr/autogen') diff --git a/doc/fr/autogen/user/exec_options.adoc b/doc/fr/autogen/user/exec_options.adoc index d3cac1f23..185c7b073 100644 --- a/doc/fr/autogen/user/exec_options.adoc +++ b/doc/fr/autogen/user/exec_options.adoc @@ -25,3 +25,9 @@ ** type: entier ** valeurs: -1 .. 25920000 ** valeur par défaut: `+0+` + +* [[option_exec.command.shell]] *exec.command.shell* +** description: pass:none[shell à utiliser avec la commande "/exec -sh" ; cela peut être seulement le nom du shell s'il est dans le PATH (par exemple "bash") ou le chemin absolu vers le shell (par exemple "/bin/bash")] +** type: chaîne +** valeurs: toute chaîne +** valeur par défaut: `+"sh"+` -- cgit v1.2.3