Mise a jour commentaires

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, "", "");
 }