# GPG keys are installed in /etc/pki/rpm-gpg by both the Boot Manager
# during initial installation, and by PlanetLabConf during daily
# updates. NodeUpdate imports the keys into the RPM database before
# GPG keys are installed in /etc/pki/rpm-gpg by both the Boot Manager
# during initial installation, and by PlanetLabConf during daily
# updates. NodeUpdate imports the keys into the RPM database before