src/eric7/PluginManager/PluginRepositoryDialog.py

branch
eric7
changeset 9645
31aaa11672d3
parent 9624
b47dfa7a137d
child 9646
ab5678db972f
equal deleted inserted replaced
9644:9875d5f11cbf 9645:31aaa11672d3
1082 pluginsRegister.append(pluginName) 1082 pluginsRegister.append(pluginName)
1083 1083
1084 downloadPath = Preferences.getPluginManager("DownloadPath") 1084 downloadPath = Preferences.getPluginManager("DownloadPath")
1085 downloads = {} # plug-in name as key, file name as value 1085 downloads = {} # plug-in name as key, file name as value
1086 1086
1087 # TODO: replace os.listdir() with os.scandir()
1087 # step 1: extract plug-ins and downloaded files 1088 # step 1: extract plug-ins and downloaded files
1088 for pluginFile in os.listdir(downloadPath): 1089 for pluginFile in os.listdir(downloadPath):
1089 if not os.path.isfile(os.path.join(downloadPath, pluginFile)): 1090 if not os.path.isfile(os.path.join(downloadPath, pluginFile)):
1090 continue 1091 continue
1091 1092

eric ide

mercurial