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 /etc/substitutes | |
parent | 1d0bde2ee4009a301fee6ceeaf140396bb49a748 (diff) | |
download | guix-5d8e505ce5d179f321f2ee80927a8a0bd78979c4.tar.gz |
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 'etc/substitutes')
0 files changed, 0 insertions, 0 deletions