Установка нескольких симпатичных дополнений для Ubuntu

Чтобы не лазить по ссылкам и не искать заново, запишу здесь, как установить некоторые понравившиеся мне украшательства (на 10.04)

# Новые шрифты Ubuntu из PPA

sudo add-apt-repository ppa:webupd8team/ubuntu-font-family
sudo apt-get update
sudo apt-get install ttf-ubuntu-font-family

# Новый avant window navigator из PPA и тема к нему

sudo add-apt-repository ppa:awn-testing/ppa
sudo apt-get update
sudo apt-get install avant-window-navigator-trunk python-awn-extras-trunk awn-applets-c-extras-trunk dockmanager-daemon dockmanager
wget http://ubuntulogy.org/wp-content/uploads/2010/09/AmbianceStyle.tar.gz

# Иконки Faenza из PPA

sudo add-apt-repository ppa:tiheum/equinox
sudo apt-get update
sudo apt-get install faenza-icon-theme

# Темы Bisigi

sudo add-apt-repository ppa:bisigi
sudo aptitude update
sudo aptitude install bisigi-themes

Переименование файлов по времени их создания

Дано: много файлов видео с телефона, формат 3gp, видеозаписи дочери с рождения. Замысел - сделать видеоальбом.
Нужно: переименовать их в соответствии со временем их создания, например "2010-12-23-10-26.3gp", чтобы порядок сортировки был в порядке создания.
Используем стандартные возможности консоли. Запускаем цикл по файлам формата 3gp, и производим действия перемещения с найденным файлом, предварительно состряпав ему новое имя из времени его создания.
for i in *.3gp; do mv "$i" "`ls -l $i | awk '{ print $6 "-" $7 }' | awk -F':' '{ print $1 "-" $2 }'`.3gp"; done

Запись звука, звучащего в моих колонках. Конечно, в Ubuntu.

Такое желание может возникать, когда слушаешь интернет-радио, или еще что-нибудь, не находящееся на локальном диске: как бы это сохранить себе?
Есть всякие качалки для flash, но не всегда это помогает. И с радио это тоже не всегда легко. Потому опубликую тут путь универсальный, годный для любого звука, что проходит через звуковую карту нашего компьютера.

Установим регулятор громкости PulseAudio, если он еще не установлен.
sudo apt-get install pavucontrol
Теперь можно его открыть и включить возможность записи с устройства вывода.

Выбираем галочкой "Monitor of Встроенное устройство Analog Stereo". Теперь откроем Audacity и настроим его на запись.

Теперь включаем радио или флеш, или что угодно, и жмем красную кнопку записи в Audacity. После окончания записи (нажать кнопку "Стоп" - квадратную такую, знаете?) - идем в меню "Файл - Экспортировать", выбираем формат, ID3 теги. Сохраняем записываем следующий трек.