Настройки прокси-сервера не работают

Я только что установил Ubuntu 11.10 с Wubi, и сейчас я нахожусь в кампусе, который требует использования прокси-сервера. Я зашел в настройки системы / настройки сети / прокси. Не работает. Я вручную устанавливаю прокси в Firefox, и у меня есть доступ к Интернету; однако я не могу добавлять приложения или обновлять Ubuntu. Как я могу это исправить? Благодаря