mirror of
https://github.com/YunoHost/yunodevtools.git
synced 2024-09-03 20:16:19 +02:00
Small naming thing
This commit is contained in:
parent
a296912c89
commit
f1c1b02e8f
1 changed files with 4 additions and 4 deletions
|
@ -312,9 +312,9 @@ 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("Warning: IDs different between list.json, manifest and repo name")
|
||||
print(" Manifest id : %s" % manifest["id"])
|
||||
print(" Name in community json : %s" % app)
|
||||
print(" Name in json list : %s" % app)
|
||||
print(" Repo name : %s" % repo.replace("_ynh", ""))
|
||||
|
||||
try:
|
||||
|
|
Loading…
Add table
Reference in a new issue