OVH Cloud OVH Cloud

[FreeBSD] Ports, Time-out du fetch ?

1 réponse
Avatar
Patrick Lamaizière
Bonjour,

Quand on installe un port, est-il possible de changer le time-out de
fetch (120s par défaut) ? J'ai bien essayé de jouer sur FTP_TIMEOUT
mais ça ne change rien.

Merci.

1 réponse

Avatar
Thierry Thomas
Mardi 26 août 2003 à 13:35 GMT, Patrick Lamaizière a écrit :
Bonjour,


Bonsoir,

Quand on installe un port, est-il possible de changer le time-out de
fetch (120s par défaut) ? J'ai bien essayé de jouer sur FTP_TIMEOUT
mais ça ne change rien.


Je ne sais pas, mais on peut redéfinir la commande du fetch, par ex.
dans /etc/make.conf, et lui passer les arguments qu'on veut.

Quand j'étais en RTC, j'avais :

FETCH_CMD=/usr/local/bin/wget --continue --tries=5

(et en fait je viens de me rendre compte que je l'ai toujours... ça ne
peut pas faire de mal !)
--
Th. Thomas.