From bc8992fca23a2a0afac2c1e333b959a44a487169 Mon Sep 17 00:00:00 2001 From: Lilian Date: Mon, 18 Apr 2022 18:44:01 +0200 Subject: [PATCH] Translated by Lilian --- omegat/project_save.tmx | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) diff --git a/omegat/project_save.tmx b/omegat/project_save.tmx index 647b724..f765ae6 100644 --- a/omegat/project_save.tmx +++ b/omegat/project_save.tmx @@ -20479,12 +20479,11 @@ significatif pour la lettre qui indique la base. - consultez Check your shell manual to know the expected behavior. - - Jetez un œil à votre manuel shell pour connaître le comportement attendu. + + Consultez votre manuel shell pour connaître le comportement attendu. @@ -32875,12 +32874,11 @@ c'est quoi une région active ? - c'est quoi "globstar" ? If the shell supports globstar, but that support is disabled by default, you can still let Dired use this feature by customizing @code{dired-maybe-use-globstar} to a non-@code{nil} value; then Dired will enable globstar for those shells for which it knows how (see @code{dired-enable-globstar-in-shell} for the list of those shells). - - Si le shell prend en charge globstar, mais que cette prise en charge est désactivée par défaut, vous pouvez toujours laisser Dired utiliser cette fonctionnalité en personnalisant @code{dired-maybe-use-globstar} à une valeur non @code{nil}. Ensuite, Dired va activer globstar pour ces shells dont il connait le fonctionnement (cf. @code{dired-enable-globstar-in-shell} pour obtenir la liste de ces shells). + + Si le shell prend en charge globstar, mais que cette dernière est désactivée par défaut, vous pouvez toujours laisser Dired utiliser cette extension en personnalisant @code{dired-maybe-use-globstar} à une valeur non @code{nil}. Ensuite, Dired va activer globstar pour ces shells dont il connait le fonctionnement (cf. @code{dired-enable-globstar-in-shell} pour obtenir la liste de ces shells).