get_spec_data.sh is broken

[ArneTR]

It expects some kind of format string but his leads to an error on my box at least (macOS)

[ArneTR]

This is the error:

wget -S --header='Accept-Encoding:gzip' -nd -r -l 1 -A power_ssj*.html "https://spec.org/power_ssj2008/results/power_ssj2008.html"

zsh: no matches found: power_ssj*.html

ZSH cannot process this string. It is bash only. I added a remark to the file so it is better understandable why the errror occurs

[ArneTR]

Still the problem is left that on a Ubuntu box with bash the processing just terminates.

Removing index.html.tmp since it should be rejected.

FINISHED --2022-11-19 11:56:15--
Total wall clock time: 1.8s
Downloaded: 6 files, 1.0M in 0.6s (1.75 MB/s)

[dan-mm]

Unfortunately I haven't been able to reproduce either of these issues. I installed zsh on my ubuntu machine to test it out. in both zsh and bash the script ran successfully for me:

Total wall clock time: 2m 42s
Downloaded: 844 files, 32M in 1,1s (29,6 MB/s)
dan-Laptop% 

[dan-mm]

I currently see two issues:

• if you already have the files, you will get
  ``Resolving power_ssj2008-20100323-00241.html (power_ssj2008-20100323-00241.html)... failed: Name or service not known.
  wget: unable to resolve host address ‘power_ssj2008-20100323-00241.html’```
  or something -> use single quotes for power_ssj*

• second issue: it should download the files into the html folder