How to set a download file in html
You can use the HTML download attribute to specify that the target will be for the download attribute, which will be the new filename of the downloaded file. This attribute is only used if the href attribute is set. The value of the attribute will be the name of the downloaded file. There are no restrictions on allowed values,