Yep, removed proxy, apt-setup/local0/repository got added to
etc/apt/sources.list.

I see 2 or 3 bugs here:  I'll be happy to open new bugs if someone asks.

1.  If this is the only reason to enable the proxy:      # use the proxy for 
wgets (should speed things up)
don't use the proxy.  I suspect there are more reasons, like the proxy is the 
only way to get to the internet, so not using it will be good for my case but 
bad for some other case.  We should be sure there is a case that would be bad 
though.  like maybe proxying keys are bad and shouldn't be done anyway, so if 
it was working it should be fixed to not work.  

2. squid-deb-proxy needs to handle this.  Whatever this is.

3. d-i needs to error when this errors.  failing silently is bad.

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/728710

Title:
  d-i apt-setup/local0/repository not working

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/apt-setup/+bug/728710/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to