09-05-2023, 11:42 PM
bill ~ rm 8B8B57C1AA716FC2.key
rm: cannot remove '8B8B57C1AA716FC2.key': No such file or directory
bill ~ 1 wget -O 8B8B57C1AA716FC2.key "http://keyserver.ubuntu.com/pks/lookup?op=get&search=0x8B8B57C1AA716FC2"
--2023-09-05 19:38:24-- http://keyserver.ubuntu.com/pks/lookup?o...C1AA716FC2
Resolving keyserver.ubuntu.com (keyserver.ubuntu.com)... 185.125.188.26, 185.125.188.27, 2620:2d:4000:1007::d43, ...
Connecting to keyserver.ubuntu.com (keyserver.ubuntu.com)|185.125.188.26|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 1357 (1.3K) [text/plain]
Saving to: ‘8B8B57C1AA716FC2.key’
8B8B57C1AA716FC2.key 100%[===========================================================>] 1.33K --.-KB/s in 0.05s
2023-09-05 19:38:25 (29.3 KB/s) - ‘8B8B57C1AA716FC2.key’ saved [1357/1357]
bill ~ file 8B8B57C1AA716FC2.key
8B8B57C1AA716FC2.key: gzip compressed data, from Unix, original size modulo 2^32 1739
bill ~
The 8B8B57C1AA716FC2.key file is in my home dir.
Should I try the install again?