Где ubuntu хранит настройки прокси-сервера, указанные при установке системы?

А зачем прокси использовать для всего подряд? Потом еще выпиливать её из env. Запустил скриптик, запустил что надо под прокси, закрыл.

Где ubuntu хранит настройки прокси-сервера, указанные при установке системы?

Ну как не работает-то. Откройте /etc/apt/apt.conf удалите оттуда все строчки Acquire::http::Proxy, если они там есть, запустите следующий скриптик:

#!/bin/bash
export http_proxy=http://user:pass@host:port/
export https_proxy=$http_proxy
export ftp_proxy=$http_proxy
export ftps_proxy=$http_proxy
export HTTP_PROXY=$http_proxy
export HTTPS_PROXY=$http_proxy
export FTP_PROXY=$http_proxy
export FTPS_PROXY=$http_proxy
exec /bin/bash

Далее ваш apt-get, потом exit, чтобы закрыть текущий bash с прописанным прокси. Обязано работать. Кстате это и ответ на вопрос, зачем скриптик.

Где ubuntu хранит настройки прокси-сервера, указанные при установке системы?

в формате http://user:pass@host:port/ конечно же, хабрапарсер автиматически оформил ссылку.

Посоветуйте мобильный ноутбук для программирования

пользуюсь больше года 1215N — программировать можно, если не используешь виртуальные машины и эмуляторы, не особо увлекаешься тяжелыми IDE — eclipse + chrome с десятком вкладок ещё нормально, но что-то ещё уже сопряжено с замедлением работы. Вообще, для разработки я бы порекомендовал что-то значительно более мощное, сам собираюсь перейти на 15" MacBook Pro или VAIO Z.

Linux & NVIDIA ION2

только ни в коем случае не удаляйте эту тулзу. кто знает, сколько там таких эпичных «опечаток» :)