I have made a batch file that can do multiple things therefor I would like it to also be able to download the file at: https://tlauncher.org/download/7495
The file name changes with each update therefore I want it to be dynamic and download without me having to change the file name each time (the Web address above never changes)
I have a bit of a habit for over complicating things and the only way I can think of doing it is by running a power shell command inside of the batch file to get the file headers then saving it to a text file and using findstr to find the name of the zip file and running curl again to download the file but this is really long winded and I'm not 100% sure how to do it if anyone knows a better way or can help me it would be much appreciated :)
(please stop marking this as a duplicate as it is not)