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.
-f requirements.txt
flake8