docker

docker
从主机复制文件

 docker cp tiny-regex-c-master klee_tinyRegex:/home/klee/
sourceCode

创建容器

docker run -it --name testgnu klee/klee:2.1 /bin/bash
//-i 交互式 -t终端 
 /bin/bash：放在镜像名后的是命令，这里我们希望有个交互式 Shell，因此用的是 /bin/bash。

查看所有容器

docker ps -a

启动已停止的容器

docker start b750bbbcfd88 //id
docker start -ai my_first_klee_container//name

进入某容器

docker attach b750bbbcfd88 
exit//退出(即该容器停止)

删除容器

docker rm -f 635ce206fe9d