Is there a way to export the complete map list from a dedicated server?

/dir maps seems to be an incomplete list, but I would also like to export to txt file.

Thanks