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