846 self.files = fn[:] |
846 self.files = fn[:] |
847 elif FileSystemUtilities.isRemoteFileName( |
847 elif FileSystemUtilities.isRemoteFileName( |
848 fn |
848 fn |
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 = self.__remotefsInterface.direntries( |
852 FileSystemUtilities.remoteFileName(f) |
852 fn, True, [f"*{ext}" for ext in extensions], False |
853 for f in self.__remotefsInterface.direntries( |
853 ) |
854 fn, True, [f"*{ext}" for ext in extensions], False |
|
855 ) |
|
856 ] |
|
857 elif FileSystemUtilities.isPlainFileName(fn) and os.path.isdir(fn): |
854 elif FileSystemUtilities.isPlainFileName(fn) and os.path.isdir(fn): |
858 extensions = set(Preferences.getPython("Python3Extensions")) |
855 extensions = set(Preferences.getPython("Python3Extensions")) |
859 self.files = FileSystemUtilities.direntries( |
856 self.files = FileSystemUtilities.direntries( |
860 fn, True, [f"*{ext}" for ext in extensions], False |
857 fn, True, [f"*{ext}" for ext in extensions], False |
861 ) |
858 ) |