fix ext name match

This commit is contained in:
Vladimir Mandic
2023-06-09 09:14:25 -04:00
parent 4a3ab4ed31
commit 4741804295
4 changed files with 7 additions and 4 deletions
+1 -1
View File
@@ -350,7 +350,7 @@ def check_modified_files():
try:
res = git('status --porcelain')
files = [x[2:].strip() for x in res.split('\n')]
files = [x for x in files if len(x) > 0 and not x.startswith('extensions')]
files = [x for x in files if len(x) > 0 and not x.startswith('extensions') and not x.startswith('wiki')]
if len(files) > 0:
log.warning(f'Modified files: {files}')
except:
+4 -1
View File
@@ -284,7 +284,10 @@ def refresh_extensions_list_from_data(search_text, sort_column):
</thead>
<tbody>"""
for ext in extensions_list:
extension = [extension for extension in extensions.extensions if extension.git_name == ext['name'] or extension.name == ext['name']]
extension = [e for e in extensions.extensions
if (e.name == ext['name'])
or (e.git_name == ext['name'])
or (e.remote == ext['url'])]
if len(extension) > 0:
extension[0].read_info_from_repo()
ext['installed'] = len(extension) > 0
+1 -1
Submodule wiki updated: 801130e4c4...646540f192