Я заметил, что в GNOME Tweak Tool есть опции для изменения тем разных вещей в вашей системе:
И я также заметил там две темы Numix:
Теперь у меня есть представление о том, что такое Numix при использовании тема Numix-Circle для значков, однако я не знаю, в чем разница между темой Numix и темой Numix-Daily, поэтому мне было интересно, может ли кто-нибудь объяснить, поскольку я не вижу очевидного визуального различия?
Numix = стабильная версия (текущая версия)
Numix-ежедневный = нестабильный выпуск (версия разработки)
, Который обычно предназначен - в этом особом случае, ответе @A.B. допустимо!
В настоящее время нет никакого различия. У Вас есть PPA ppa:numix/ppa
в Вашей системе, и в этом PPA пакет numix-gtk-theme
. Этот пакет устанавливает тему Numix и создает ссылку, как Вы видите в выводе команд ниже
% cat /var/lib/dpkg/info/numix-gtk-theme.postinst #!/bin/bash set -e if [ "$1" = "configure" ]; then if [ ! -e "/usr/share/themes/Numix" ]; then ln -sf "/usr/share/themes/Numix Daily" "/usr/share/themes/Numix" fi fi exit 0
% ls -laog /usr/share/themes/ total 48 drwxr-xr-x 8 4096 Sep 16 20:36 . drwxr-xr-x 519 20480 Sep 8 18:00 .. drwxr-xr-x 4 4096 Mär 25 07:31 Adwaita drwxr-xr-x 4 4096 Mär 16 2015 Default drwxr-xr-x 4 4096 Mär 16 2015 Emacs drwxr-xr-x 4 4096 Mär 25 07:31 HighContrast lrwxrwxrwx 1 29 Sep 16 20:36 Numix -> /usr/share/themes/Numix Daily drwxr-xr-x 9 4096 Sep 16 20:36 Numix Daily drwxr-xr-x 3 4096 Mär 16 2015 Raleigh