Windows での Docker のセットアップ#
windows 10でのdockerのインストール方法についての簡単な説明です。
1. Docker Desktop for Windows のインストール#
https://docs.docker.jp/docker-for-windows/install.html を参照してDockerDesktopをインストールしましょう。
Docker Hubからダウンロードをクリックします。
ダウンロードしたらこんな感じです 。
Docker Desktop Installer.exeをクリックするとインストーラーが立ち上がります。
OKを押して進めましょう。
ここまで来たら再起動しましょう。
再起動後、こんな画面が出ると思います。
Acceptを押したら完了です。 もしかしたらwslのアップデートをしてくれと言われる場合もあります。そしたら、PowerShellに以下のコマンドを入力してアップデートしましょう。
wsl --update
Docker Desktopが起動するとこんな感じの画面になります。
イメージのダウンロード#
Docker imageをダウンロードします。
docker run --rm -p 6080:80 --shm-size=4096m --security-opt seccomp=unconfined ghcr.io/ouxt-polaris/ros_handson/ros_handson:latest
このコマンドをコピーしてPowerShellに入力してください。
ダウンロードが始まるとこんな感じです。 ダウンロードが終わるとイメージが起動して、127.0.0.1:6080に接続できるようになります。
gazeboを起動するためのターミナルはここにあります。
その他#
イメージをストップするにはDocker Desktopの画面で停止アイコンを押します。
もう一度起動するには再度PowerShellで以下のコマンド入力すれば良いです。起動にはちょっと時間がかかります。
docker run --rm -p 6080:80 --shm-size=4096m --security-opt seccomp=unconfined ghcr.io/ouxt-polaris/ros_handson/ros_handson:latest
参考文献#
https://github.com/AI-Robot-Book/chapter1/tree/main/docker
Last update:
October 17, 2023