Create filename list of tropomi

I want to download TROPOMI NO2 data using eofetch. Before that, how can I create the filename list? Thank you

You can use any of the existing APIs that are available in the CDSE for this.