diff --git a/bob/devtools/bootstrap.py b/bob/devtools/bootstrap.py index 27f7a264e7b04d70cd8164871004ab26b0a75d85..0e375d17aec069769abe5840ed673360e7eae27e 100644 --- a/bob/devtools/bootstrap.py +++ b/bob/devtools/bootstrap.py @@ -15,6 +15,8 @@ quiet: true #!final show_channel_urls: true #!final anaconda_upload: false #!final ssl_verify: false #!final +remote_connect_timeout_secs: 30 #!final +remote_max_retries: 10 #!final channels: - defaults '''