Se siete interessati a cambiare il tema della shell in Fedora 16 utilizzando lo gnome-tweak tool (impostazioni avanzate)

ma vi comparirà quel noioso triangolino rosso sullo shell theme, dovuto ad un bug di Fedora, allora per risolvere il problema basterà eseguire il seguente comando:

hostname# sudo sed -i ‘s/THEME_EXT_NAME = “user-theme@gnome-shell-extensions.gnome.org”/THEME_EXT_NAME = “user-theme@gnome-shell-extensions.gcampax.github.com”/’ /usr/lib/python2.7/site-packages/gtweak/tweaks/tweak_shell.py

Naturalmente il comando è una semplificazione di quello che andava modificato nel file  “tweak_shell.py”

 ma vi comparirà quel noioso triangolino rosso sullo shell theme, dovuto ad un bug di Fedora, allora per risolvere il problema basterà eseguire il seguente comando:

hostname# sudo sed -i ‘s/THEME_EXT_NAME = “user-theme@gnome-shell-extensions.gnome.org”/THEME_EXT_NAME = “user-theme@gnome-shell-extensions.gcampax.github.com”/’ /usr/lib/python2.7/site-packages/gtweak/tweaks/tweak_shell.py

Naturalmente il comando è una semplificazione di quello che andava modificato nel file  “tweak_shell.py”