Posts tagged with "apt"

ROS Melodic/DashingをインストールしていたGPU搭載ノートPCをUbuntu 18.04から20.04にアップグレードした手順と、apt-key非推奨にともなうsources.list修正のメモ。

Raspberry Pi OS（旧Raspbian）のミラーサーバ一覧のメモ。日本国内のdebianパッケージミラーとOSイメージのJAISTミラーURLをまとめた。