diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2022-10-16 02:00:03 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2022-10-16 02:00:28 +0200 |
| commit | 9a0a786c2555b7e9bcef2a27dff8b82c002799ab (patch) | |
| tree | 7d654e5a663218e8779feb9ddc53a764f53dcba7 /configure.ac | |
| parent | 88ec7bf616a5d2559d1203331f2129601b082110 (diff) | |
| download | guix-9a0a786c2555b7e9bcef2a27dff8b82c002799ab.tar guix-9a0a786c2555b7e9bcef2a27dff8b82c002799ab.tar.gz | |
guix-install.sh: Time out fetching OpenPGP keys.
The default 900s provide no useful backstop in interactive use.
* etc/guix-install.sh (chk_gpg_keyring): Add a 30s wget --timeout.
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions