On 8/15/21 4:08 AM, Greg Wooledge wrote:
Why not simply "apt update"?
: i have myself muddled : am getting "NO_PUBKEY" - what to try, please ? thank you .... regards .