diff --git a/test~coding~readingCppPrograms.fr/docker-compile-and-run.cpp b/test~coding~readingCppPrograms.fr/docker-compile-and-run.cpp index b0584b8b4a68e02945fcd5ba119d2c767b968b47..bc0fde93a07a224435d4189fc14c2fbd303eea2e 100644 --- a/test~coding~readingCppPrograms.fr/docker-compile-and-run.cpp +++ b/test~coding~readingCppPrograms.fr/docker-compile-and-run.cpp @@ -112,14 +112,14 @@ void docker_exec(string docker_id, vector<string> args) { vector<string> docker_args = {"exec", "-i", docker_id}; for (auto arg: args) docker_args.push_back(arg); - //docker_oldexec(docker_id, command); exec(docker, docker_args); } void docker_cp(string docker_id, string source, string target) { // See http://stackoverflow.com/questions/22907231/copying-files-from-host-to-docker-container - // Better replace with 'docker cp' of docker 1.8 - exec(docker, {"exec", "-i", docker_id, "/bin/bash", "-c", "cat > "+target,}, + // TODO: replace with 'docker cp' of docker 1.8 when possible + exec(docker, + {"exec", "-i", docker_id, "/bin/bash", "-c", "cat > "+target,}, source, "", ""); }