Web サイトの指示に従って、MikTex を Ubuntu 18.04 にインストールしようとしています。
最初のコマンド、
sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys D6BC243565B2087BC3F897C9277A7293F59E4889
エラーを与える
gpg: キーサーバーの受信に失敗しました: 引数が無効です
何が問題なのですか?
根本的な原因はわかりませんが、こちらの手順に従ってキーを取得できました。
これらは 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
。