From 692647ed866d22f8b5a65e07c12706a671f2bf78 Mon Sep 17 00:00:00 2001 From: Pierre-Yves Chibon Date: Wed, 7 Apr 2021 10:50:49 +0200 Subject: [PATCH] people: when making the people page account for home directory we can't get into Signed-off-by: Pierre-Yves Chibon --- roles/people/files/make-people-page.py | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/roles/people/files/make-people-page.py b/roles/people/files/make-people-page.py index a38ea04ea1..295a70c41f 100644 --- a/roles/people/files/make-people-page.py +++ b/roles/people/files/make-people-page.py @@ -178,8 +178,14 @@ for hdir in homedirs: continue user["name"] = pwentry.pw_gecos - user["has_public_html"] = (hdir / "public_html").is_dir() - user["has_public_git"] = (hdir / "public_git").is_dir() + try: + user["has_public_html"] = (hdir / "public_html").is_dir() + except PermissionError: + user["has_public_html"] = False + try: + user["has_public_git"] = (hdir / "public_git").is_dir() + except PermissionError: + user["has_public_git"] = False user["email_hash"] = hashlib.md5( f"{user['name'].lower()}@fedoraproject.org".encode("utf-8") ).hexdigest()