Comment 21 for bug 113658

Revision history for this message
dougfractal (dougs-b) wrote :

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.