Как добавить ключ badgerports.org

[Tau_rus]

Понадобилось мне установить Pinta, а следовательно и пакет mono 2.6.7. Нашел сайт badgerports.org, пытаюсь добавить их репозиторий, следуя инструкции:
Застрял на 6-м шаге, скачиваю файл ключа, однако программа "Источники приложений" не видит его при попытке импортировать. Как мне это сделать? Ubuntu 10.04.2

[ArcFi]

Код: [Выделить]

apt-key add FILE
apt-key adv --recv-keys --keyserver keyserver.ubuntu.com FINGERPRINT