On 03/12/2013 05:07 PM, Dennis.Herbrich@hytera.de wrote: > Hello everyone! > > As I am enduring a rather annoying proxy setup, I tend to run into > download problems every now and then when using ptxdist. :) [...] I identified and fixed the problem independent of you, just noticed now that you've also created patches. However, I've not implemented the no_proxy option, which I'll rebase onto current master. Marc -- Pengutronix e.K. | Marc Kleine-Budde | Industrial Linux Solutions | Phone: +49-231-2826-924 | Vertretung West/Dortmund | Fax: +49-5121-206917-5555 | Amtsgericht Hildesheim, HRA 2686 | http://www.pengutronix.de |