Sorry, I finished the upgrade by taking the laptop home :) I filed another bug for apt problems behind proxy (I used to get the gunzipped .tar.gz file). It is reported here:
https://bugs.launchpad.net/ubuntu/+source/apt/+bug/230832
I suspect this issue will be fixed by that fix as well.
Sorry, I finished the upgrade by taking the laptop home :)
I filed another bug for apt problems behind proxy (I used to get the gunzipped .tar.gz file). It is reported here:
https:/ /bugs.launchpad .net/ubuntu/ +source/ apt/+bug/ 230832
I suspect this issue will be fixed by that fix as well.