diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-07-08 18:04:30 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-07-08 18:16:10 +0200 |
| commit | 5d8e505ce5d179f321f2ee80927a8a0bd78979c4 (patch) | |
| tree | a50b57f283bb47e665db7d02b07566ad7b094ad1 /gnu/packages | |
| parent | 1d0bde2ee4009a301fee6ceeaf140396bb49a748 (diff) | |
guix-install.sh: Check for PGP key separately.
* etc/guix-install.sh (chk_gpg_keyring): New function to handle the
public key check previously stuffed into chk_require.
(main): Call it.
Diffstat (limited to 'gnu/packages')
0 files changed, 0 insertions, 0 deletions