Старые версии Debian и новые версии Java

Если вдруг кому-то потребуется установить на старую версию debian версию Java которой нет в репозиториях, то как это сделать описано ниже.

Пример такой необходимости: Jenkins начиная с версии 1.612 (2015/05/03) требует версии Java 7. Эта версия в debian squeeze недоступна.

Делаем раз: 

В файл /etc/apt/sources.list добавляем строки

deb http://ppa.launchpad.net/webupd8team/java/ubuntu precise main
deb-src http://ppa.launchpad.net/webupd8team/java/ubuntu precise main

Делаем два:

Добавляем ключ от добавленного репозитория

sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-keys EEA14886

Делаем три: 

Обновляем список пакетов

sudo apt-get update

Делаем четыре:

Устанавливаем нужную версию java. Например такую и так:

sudo apt-get install oracle-java7-installer

DocBook и подстветка синтаксиса в теге programlisting

Готовлю документацию в формате DocBook.
Стала передо мной задача сделать подсветку синтаксиса кода в теге programlisting.
Понятно, что делается это атрибутом language. Вот только возможных значений этого атрибута нигде в документации не нашел (может плохо искал).
Итого: нашел где именно в файлах perl-а обрабатывается подсветка и получил список возможных значений:
Файл: /usr/share/perl5/Syntax/Highlight/Engine/Kate.pm

Xmonad & java app

Некоторые приложения под xmonad-ом не отображаются.
Решение нашел тут

wmname LG3D

Пропал стиль Oxygen

Вдруг ни с того ни с сего пропал стиль Oxygen. Хоть и пользуюсь xmonad, но KDE-шный стиль мне по душе. Подсказку обнаружил тут

rm ~/.config/Trolltech.conf
kbuildsycoca4 --noincremental

mplayer и список радиостанций

В продолжение темы mplayer, сетевое вещание и тэги в cp1251 хочу рассказать о дальнейшем развитии скрипта для прослушивания интернет радиостанций.

Думаю не только у меня одного, но со временем playlist любимых радиостанций начинает приедаться, а на тех радиостанциях, где человек ответственный за содержание playlist-ов к работе относится не сильно добросовестно, ты уже начинаешь угадывать какая будет следующая песня. И вот в таких ситуациях хотелось бы послушать чего-нибудь другого.