How to download file in streamlit

[marciorpcoelho]

I haven’t found a way to do that automatically, but one can always edit the filename to filename.csv when saving the link with the right mouse click.