fedora 20: Как установить GNOME shell 3.12

GNOME Shell 3.12 вышел уже достаточно давно. Был разговор о том, чтобы официально обновить в fedora 20 его с 3.10 до 3.12, но по-моему ни к чему он так и не привел. Есть экспериментальный репозиторий с обновленным gnome shell до 3.12. Я обновился с него пару дней назад, и все работает без проблем.

Итак, для того, чтобы обновиться создаем файл /etc/yum.repos.d/rhughes-f20-gnome-3-12.repo со следующим содержанием:

[rhughes-f20-gnome-3-12-i386]
name=Copr repo for f20-gnome-3-12 owned by rhughes (i386)
baseurl=http://copr-be.cloud.fedoraproject.org/results/rhughes/f20-gnome-3-12/fedora-$releasever-i386/
skip_if_unavailable=True
gpgcheck=0
cost=900
enabled=1

[rhughes-f20-gnome-3-12-x86_64]
name=Copr repo for f20-gnome-3-12 owned by rhughes (x86_64)
baseurl=http://copr-be.cloud.fedoraproject.org/results/rhughes/f20-gnome-3-12/fedora-$releasever-x86_64/
skip_if_unavailable=True
gpgcheck=0
cost=800
enabled=1

После этого обновляемся командой:

sudo yum update

Перегружаемся.