diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2022-10-16 02:00:04 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2022-10-16 02:00:28 +0200 |
| commit | 54c0b5c45767729b053574c2b2a62b17594f42ab (patch) | |
| tree | 1b56c5d8bb2dd0b2183d6a40ad27eddc7bec9b15 /gnu | |
| parent | 9a0a786c2555b7e9bcef2a27dff8b82c002799ab (diff) | |
guix-install.sh: Suggest what to do if fetching OpenPGP key(s) fails.
* etc/guix-install.sh (chk_gpg_keyring): Report an _err and set the
exit_flag if wget | gpg --import fails.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions