Docker pull→run→exit→psからID取得してexec

自分用です．

Docker Image検索リンクから欲しいImageをPull

$ docker images

からREPOSITORYとTAGの部分を探して下記を埋める． -vの<directory_in_server>マウント場所を指定． pはポート番号で使っていないやつを選ぶ．

$ docker run -it --rm \
--gpus '"device=<GPU_ID>"' \
-p 8000:8000 \
-v <directory_in_server>:/workspace \
REPOSITORY:TAG 

(docker)$ exit

で抜けてから，

$ docker ps

で立ち上がっているCONTAINER ID確認，

$ docker exec -it CONTAINER ID /bin/bash

でもう一度は入れる．