diff --git a/HowtoDocker.md b/HowtoDocker.md index 3f988198..98a8bb8d 100644 --- a/HowtoDocker.md +++ b/HowtoDocker.md @@ -874,3 +874,16 @@ L'adresse IP des différentes _tasks_ d'un service : ~~~ $ getent hosts tasks. ~~~ + +> Comment trouver le PID d'un processus roulant dans un conteneur? + +Docker et autres technologies de conteneurs, utilisent des namespace +linux pour isoler les processus. L’utilité pgrep(1) est capable +de filtrer les processus par namespace sur la base d’un autre +processus. + +~~~ +$ pgrep --ns $dockerPID $query +~~~ + +Ce concept provient du système Plan9 \ No newline at end of file