開発環境のセットアップ
docker toolbox をインストール（最初だけ）
PCのＣドライブ直下にtmpフォルダを作成（最初だけ）
共有フォルダのzipファイルを解凍して「ev3rt」フォルダをそこにコピー（最初だけ）
「Docker Quickstart Terminal」を管理者権限で起動
Dockerのコマンドラインで「docker images」と打って
REPOSITORY ...
ev3rt_tools ...
ubuntu ...
の3行が出なければ（最初だけ）
$ cd /c/tmp/ev3rt
$ docker load -i ev3rt_tools.tar
処理が終わったら「docker images」と打って上の3行が出ればOK
$cd /c/tmp
でフォルダから出る
Windowsのエクスプローラーで「ev3rt」のフォルダを
/c/Users/自分のID/Documents
に移動
（ここまで最初だけ）
$ docker run -it --rm -v /c/Users/自分のID/Documents/ev3rt/:/ev3rt/ ev3rt_tools /bin/bash
Toppers開発環境のコンテナが起動したらコンテナのコマンドラインで
＃ ls
でev3rtの中身が見えればOK
＃ unzip ev3rt-beta7-3-release.zip（最初だけ）
＃ tar Jxvf ev3rt-beta7-3-release/hrp2.tar.xz（最初だけ）
＃ cd hrp2/cfg（最初だけ）
＃ make（最初だけ）
アプリケーションのビルド
＃ cd /ev3rt/hrp2/sdk/workspace
＃ make app=ビルドしたいアプリケーションのフォルダ名
ビルドが始まる
Windowsのファイルエクスプローラーで
ドキュメント＞ev3rt＞hrp2＞sdk＞workspace
ここにある app が実行ファイル
任意のファイル名に変更する
PCとEV3をUSBケーブルで接続
EV3の中央ボタンを押して電源を入れるとエクスプローラーにEドライブが開く
E:\ev3rt\apps
に先ほどの名前を変更したファイルをここにコピー
USBケーブルを抜く
EV3でアプリケーションを起動する
開発環境のシャットダウン
dockerコンテナのシャットダウン
＃ exit
dockerのシャットダウン
$ exit
次回のコンテナ起動
デスクトップで
DockerQuickstartTerminalのアイコンを右クリック「管理者として実行」
Dockerのコマンドラインで
$ cd ~/Documents/ev3rt
$ docker run -it --rm -v /c/Users/自分のID/Documents/ev3rt/:/ev3rt/ ev3rt_tools /bin/bash
Toppers開発環境のコンテナが起動したらコンテナのコマンドラインで
＃ ls
でev3rtの中身が見えればOK
＃ cd hrp2/sdk/workspace
＃ make app=ビルドしたいアプリケーションのフォルダ名