Свежий Frescobaldi под убунтой

Нотный редактор Frescobaldi по умолчанию в Ubuntu 12.04 LTS не очень свеж — сейчас предлагается позапрошлогодняя версия 2.0.0, где нет, например, нумерации строк исходного кода. В более свежих версиях её наконец-то сделали. Чуть более свежую версию Frescobaldi — майскую предпоследнюю 2.0.10 — можно поставить так (точнее, обновить, когда уже установлена старая):

sudo add-apt-repository ppa:ryanakca/frescobaldi
sudo apt-get update
sudo apt-get upgrade

Попутно обновятся и другие пакеты, если найдётся, что обновлять. Если надо именно поставить либо обновить только Frescobaldi — действуем как обычно: вместо последней команды пишем

sudo apt-get install frescobaldi