Re: public key is not available: NO_PUBKEY 72147EC1E788D4C3


Tim Payne
 

Hi Daren,

I just had the same issue. The fix is as follows on the command line as root (or use sudo).

wget http://dvswitch.org/ASL_Repository/dvswitch.gpg.key
apt-key add dvswitch.gpg.key

Cheers
Tim

Join main@DVSwitch.groups.io to automatically receive all group messages.