diff -up gnome-tweak-tool-3.8.0/gtweak/tweaks/tweak_shell.py.orig gnome-tweak-tool-3.8.0/gtweak/tweaks/tweak_shell.py
--- gnome-tweak-tool-3.8.0/gtweak/tweaks/tweak_shell.py.orig 2013-03-31 14:25:14.000000000 +0200
+++ gnome-tweak-tool-3.8.0/gtweak/tweaks/tweak_shell.py 2013-07-08 01:18:13.165887083 +0200
@@ -111,7 +111,7 @@ class ShellThemeTweak(Tweak):
#note: the default theme lives in /system/data/dir/gnome-shell/theme
# and not themes/, so add it manually later
dirs = [os.path.join(d, "themes") for d in GLib.get_system_data_dirs()]
- dirs += [ShellThemeTweak.THEME_DIR]
+ # dirs += [ShellThemeTweak.THEME_DIR]
dirs += [ShellThemeTweak.LEGACY_THEME_DIR]
valid = walk_directories(dirs, lambda d:
@@ -180,7 +180,7 @@ class ShellThemeTweak(Tweak):
ok, updated = extract_zip_file(
z,
theme_members_path,
- os.path.join(ShellThemeTweak.THEME_DIR, theme_name, "gnome-shell"))
+ os.path.join(ShellThemeTweak.LEGACY_THEME_DIR, theme_name, "gnome-shell"))
if ok:
if updated: