From 7bacfc6c3374abec2c53a0b2399f9f77de4b682c Mon Sep 17 00:00:00 2001 From: shane knapp Date: Wed, 13 Dec 2023 12:02:56 -0800 Subject: [PATCH] this wasn't actually OCD but a bug fix XD --- scripts/delete-unused-users.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/delete-unused-users.py b/scripts/delete-unused-users.py index 90073538a..73668889a 100755 --- a/scripts/delete-unused-users.py +++ b/scripts/delete-unused-users.py @@ -151,7 +151,7 @@ def main(args): token = os.environ["JUPYTERHUB_API_TOKEN"] delete_users_from_hub(args.hub_url, token, args.inactive_since, args.dry_run) elif args.credentials: - logger.info("Attempting to use credentials file: {args.credentials}") + logger.info(f"Attempting to use credentials file: {args.credentials}") creds = json.loads(open(args.credentials).read()) if not creds: logger.error(f"The credentials file is empty: {args.credentials}")