added no proxy command line option

2021-09-15 14:42:05 +02:00
parent 3a9dd52098
commit 9e8a2a3e0c
3 changed files with 6 additions and 1 deletions
--- a/lib/support.sh
+++ b/lib/support.sh
@@ -33,6 +33,8 @@ Options :
 	-k, --keep-going	Continue l'execution en cas d'erreur.
 	-r, --resume		Reprend l'execution là ou elle s'est arrêté.
 	-R, --no-root-check     Ne pas vérifier les droits root (ou UID 0)
+	-P, --no-proxy		Ne pas utiliser de proxy lors de l'utilisation de
+	    			ce script (n'empêche pas leur configuration via modules)
 	-h, --help		Affiche ce texte d'aide.
 	-l, --logfile <nom>     Nom du fichier de log. Peut aussi être changé
                                via la variable d'environnement LOGFILE.