On 10/3/07, Andreas Radke <a.radke@arcor.de> wrote:
Am Wed, 3 Oct 2007 10:43:50 -0500 schrieb "Aaron Griffin" <aaronmgriffin@gmail.com>:
On 10/3/07, Andreas Radke <a.radke@arcor.de> wrote:
Even better would be to host _all_ sources for every pkg release somewhere. Harddiscs got cheap and we could solve any possible GPL violence. Some other major distribution also do that.
The last time we brought this up you were the only one against it because you didn't want to upload source tarballs as well as packages.
Have you changed you mind on that?
Hm? Can't remember that. Sure it would be hard for me to uplaod each source with my slow connection. But it shouldn't be that hard to run a wget directly on our master server ;)
True. Would you be willing to script something like that? I don't think it'd be all that hard, but it'd require running through checked in PKGBUILDs and parsing each one's source array for remote files, downloading them, and putting them somewhere. The reason we wanted to do this on the client (and not the server) is because makepkg already does 90% of that. So it would actually be a one line addition to something like extrapkg when uploading - but doing it on the server side is much more code. Still, either way is fine, but I know I personally don't have the time to script a server process to do this. Does anyone?