grim/local-pipelines
Clone
Summary
Browse
Changes
Graph
pipeline: actually kill the docker process with ctrl-c
2016-07-26, Sean Farley
7b8b7a7c65e9
pipeline: actually kill the docker process with ctrl-c
By using '-it' to the docker process, ctrl-c is directly sent to docker
so that it kills itself and automatically cleans up.
[flake8]
ignore
=
exclude
=
.hg,__pycache__,build,dist,*venv*
max-complexity
=
10