guix-install.sh: Time out fetching OpenPGP keys.
authorTobias Geerinckx-Rice <me@tobias.gr>
Sun, 16 Oct 2022 00:00:03 +0000 (02:00 +0200)
committerTobias Geerinckx-Rice <me@tobias.gr>
Sun, 16 Oct 2022 00:00:28 +0000 (02:00 +0200)
commit9a0a786c2555b7e9bcef2a27dff8b82c002799ab
tree7d654e5a663218e8779feb9ddc53a764f53dcba7
parent88ec7bf616a5d2559d1203331f2129601b082110
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.
etc/guix-install.sh