Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.Sign up
Add: 'Developer Files' section on download pages #111
Alas, it is not. As best as I can tell, PDB files are not currently distributed at all (they don't appear in the manifest files at (e.g.) https://proxy.binaries.openttd.org/openttd-releases/1.10.0-beta1/manifest.yaml )
I'm not sure they're even built in the CI currently, you'd need to check yourself -
But they're certainly excluded from the manifest generation script - https://github.com/OpenTTD/OpenTTD/blob/2be619ea88837c6293129841511816c105b507a3/azure-pipelines/manifest.sh#L41
Your patch won't do what you think it does :)
They are on the ignore list, because people kept downloading them. That is, 30% of the people who downloaded the
So I am very much against putting them in the download list, with the other files. History shows that it is a bad solution :)
What might work, is some redesigning, where we put this in a new part on the downloads page, something like "Debug files" or what-ever. Here we can list the
Either way, if you make a PR for this repository, please create and run the docker to check if it fixes what you think it does :) It is the whole reason this is a Docker .. so you can try it out on your local machine too :P Saves you going back and forth with assumptions :D
Going to close this PR for now; as what-ever solution we pick, it should be looking different :D Please do invest time in it, as it is worth fixing this properly!
Cool :D Should the documentation also be in there? And I guess the dbg-deb files should also be there.
I personally wouldn't add the dropdown in the "developers" section, as that is just a bit silly. We use that for binaries, as it autodetects OSes and points people to the right files. No need to do that for developers :D
Ok removed dropdown, renamed "Debug Files" to "Developer Files".