@_elenaElena Rossini β
@elenaElena Rossini on GoToSocial β open Terminal.app, drag the folder into it, the type: ls -l
And you should get a list of all the file names that you can select and paste.
More advanced: ls -l > files.txt
Will redirect the output to a file called files.txt