Невозможно добавить ключ MikTex gpg
Я пытаюсь установить MikTex на Ubuntu 18.04, следуя инструкциям на сайте.
Первая команда,
sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys D6BC243565B2087BC3F897C9277A7293F59E4889
выдает ошибку
gpg: сбой при получении сервера ключей: неверный аргумент
В чем может быть проблема?
0 ответов
Я не знаю первопричины, но, следуя приведенным здесь инструкциям, я смог получить ключи.
Они загружают и устанавливают ключ gpg:
wget -q \
"https://keyserver.ubuntu.com/pks/lookup?op=get&search=0xD6BC243565B2087BC3F897C9277A7293F59E4889" \
-O- | gpg --dearmor \
> miktex-D6BC243565B2087BC3F897C9277A7293F59E4889.gpg
sudo mv miktex-D6BC243565B2087BC3F897C9277A7293F59E4889.gpg \
/etc/apt/trusted.gpg.d/
После этого вы сможете перейти к следующим шагам (sudo apt update
и так далее).