From 1d027ee8419f8496be2f1db19dedc69c60458086 Mon Sep 17 00:00:00 2001
From: Patrick Marchand <pmarchand+git@evolix.ca>
Date: Wed, 10 Apr 2019 09:32:13 -0400
Subject: [PATCH] Ajout d'une doc sur la recherche de PID dans docker

---
 HowtoDocker.md | 13 +++++++++++++
 1 file changed, 13 insertions(+)

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.<nom du service>
 ~~~
+
+> 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