Distribution upgrade, as noted above, ignores proxy settings from any source I've tried (apt, env, gnome). This means normal package upgrades work fine, but you are unable to use the 'Upgrade' button on Update Manager.
Distribution upgrade, as noted above, ignores proxy settings from any source I've tried (apt, env, gnome). This means normal package upgrades work fine, but you are unable to use the 'Upgrade' button on Update Manager.