18 Jan
2023
18 Jan
'23
9:23 a.m.
On 1/18/23 9:15 AM, Ben Webb wrote: > On 1/18/23 5:27 AM, Barak Raveh wrote: ... >> !apt-key adv --keyserver keyserver.ubuntu.com --recv-keys 22A3BF2B ... > I believe "apt-key adv" is deprecated.
However, it should still work if you want to pull the key from a keyserver - just replace the old key 22A3BF2B with the new one E6414C85.
Ben
--
ben@salilab.org https://salilab.org/~ben/
"It is a capital mistake to theorize before one has data."
- Sir Arthur Conan Doyle