From 5ff5e19099c32fcc85fff794cf22a709818aa8c6 Mon Sep 17 00:00:00 2001 From: Alexandre Aubin Date: Wed, 20 Mar 2019 22:14:43 +0100 Subject: [PATCH] Small naming thing --- list_builder.py | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/list_builder.py b/list_builder.py index 0790bfb4..df71b050 100755 --- a/list_builder.py +++ b/list_builder.py @@ -312,10 +312,10 @@ for app, info in apps_list.items(): continue if manifest["id"] != app or manifest["id"] != repo.replace("_ynh", ""): - print("Warning: IDs different between community.json, manifest and repo name") - print(" Manifest id : %s" % manifest["id"]) - print(" Name in community json : %s" % app) - print(" Repo name : %s" % repo.replace("_ynh", "")) + print("Warning: IDs different between list.json, manifest and repo name") + print(" Manifest id : %s" % manifest["id"]) + print(" Name in json list : %s" % app) + print(" Repo name : %s" % repo.replace("_ynh", "")) try: result_dict[manifest['id']] = {