849 ) and self.__remotefsInterface.isdir(fn): |
849 ) and self.__remotefsInterface.isdir(fn): |
850 extensions = set(Preferences.getPython("Python3Extensions")) |
850 extensions = set(Preferences.getPython("Python3Extensions")) |
851 self.files = [ |
851 self.files = [ |
852 FileSystemUtilities.remoteFileName(f) |
852 FileSystemUtilities.remoteFileName(f) |
853 for f in self.__remotefsInterface.direntries( |
853 for f in self.__remotefsInterface.direntries( |
854 fn, True, ["*{0}".format(ext) for ext in extensions], False |
854 fn, True, [f"*{ext}" for ext in extensions], False |
855 ) |
855 ) |
856 ] |
856 ] |
857 elif FileSystemUtilities.isPlainFileName(fn) and os.path.isdir(fn): |
857 elif FileSystemUtilities.isPlainFileName(fn) and os.path.isdir(fn): |
858 extensions = set(Preferences.getPython("Python3Extensions")) |
858 extensions = set(Preferences.getPython("Python3Extensions")) |
859 self.files = FileSystemUtilities.direntries( |
859 self.files = FileSystemUtilities.direntries( |
860 fn, True, ["*{0}".format(ext) for ext in extensions], False |
860 fn, True, [f"*{ext}" for ext in extensions], False |
861 ) |
861 ) |
862 else: |
862 else: |
863 self.files = [fn] |
863 self.files = [fn] |
864 |
864 |
865 # filter the list depending on the filter string |
865 # filter the list depending on the filter string |