Le 05/11/2018, Christian a écrit :
> C'est plutôt le comportement de wget qui est bizarre.
Non, c'est le script qui flingue les variables d'env., et ne les remet pas
correctement : j'avais essayé de faire un echo http_proxy, au début, et ça
sortait une chaîne vide. Après l'avoir forcée, ça marchait, mais il
manquait encore https_proxy (qui devait être aussi effacée).
--
Frédéric