Le 16/08/2019 à 23:27, Steffen Dettmer a écrit :
(Apparently man used uid 13 in Debian 8 / Jessi but 6 in Debian 9 / Stretch).
AFAICS, user "man" has had UID 6 since at least Debian 6/squeeze.