diff options
| author |  Jan Tattermusch <jtattermusch@google.com> | 2015-06-17 12:26:32 -0700 |
|---|---|---|
| committer | Jan Tattermusch <jtattermusch@google.com> | 2015-06-17 12:26:32 -0700 |
| commit | eaa52163da7ee412f6348842e538def33575119f (patch) | |
| tree | f0816df28965851dae8c16c383f53f808db89bb6 /tools/jenkins/run_jenkins.sh | |
| parent | 118e331a7f25d2752484ac306cf066c87333bdc2 (diff) | |
update instructions on picking up failed docker container
Diffstat (limited to 'tools/jenkins/run_jenkins.sh')
| -rwxr-xr-x | tools/jenkins/run_jenkins.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/jenkins/run_jenkins.sh b/tools/jenkins/run_jenkins.sh index c69ce3ed46..534ed306ef 100755 --- a/tools/jenkins/run_jenkins.sh +++ b/tools/jenkins/run_jenkins.sh @@ -74,7 +74,7 @@ then docker rm $DOCKER_CID else echo "Docker exited with failure, keeping container $DOCKER_CID." - echo "You can SSH to the worker and use 'docker start CID' and 'docker exec -i -t CID bash' to debug the problem." + echo "You can SSH to the worker and use 'docker commit CID YOUR_IMAGE_NAME' and 'docker run -i -t YOUR_IMAGE_NAME bash' to debug the problem." exit 1 fi |