here's my workaround
cp /etc/apt/sources.list /etc/apt/sources.list.backup insert=`sed -e "s/^A.* \"//; s/\";$// ; s,/$,," /etc/apt/apt.conf` sed -i -e "s,http://,$insert/," /etc/apt/sources.list cat /etc/apt/sources.list mv /etc/apt/apt.conf /etc/apt/apt.conf.proxy update-manager -d -c cp /etc/apt/sources.list.backup /etc/apt/sources.list mv /etc/apt/apt.conf.proxy /etc/apt/apt.conf
inserts the proxy bit from apt.conf into the sources.list until update-manager is finished.
here's my workaround
cp /etc/apt/ sources. list /etc/apt/ sources. list.backup ,$insert/," /etc/apt/ sources. list sources. list apt.conf. proxy sources. list.backup /etc/apt/ sources. list apt.conf. proxy /etc/apt/apt.conf
insert=`sed -e "s/^A.* \"//; s/\";$// ; s,/$,," /etc/apt/apt.conf`
sed -i -e "s,http://
cat /etc/apt/
mv /etc/apt/apt.conf /etc/apt/
update-manager -d -c
cp /etc/apt/
mv /etc/apt/
inserts the proxy bit from apt.conf into the sources.list until update-manager is finished.