小ネタなのであっさりで． 問題 WSLのubuntu18.04に，ROS Melodicを導入する際，いつもどおりmelodic/Installation/Ubuntu - ROS Wikiを参考に進めるが， 「1.3 Set up your keys」で， $ sudo apt-key adv --keyserver hkp://ha.pool.sks-keyservers.net:80…