ROS
Windows10環境で,ROS2のパッケージ開発をDocker上で行うための手順をまとめます. 頻繁にROSを使わないので直接環境にROSを入れるのは抵抗感があり...... でもROS2を使ってみたい!ということで,ローカルにROS2環境を入れずに開発を行う,dockerでの開発フ…
小ネタなのであっさりで. 問題 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…