Toggle an Gnome Extension

toggletop.py

#!/usr/bin/env python

from gi.repository import Gio

topbar = '[email protected]'

settings = Gio.Settings(schema='org.gnome.shell')
extensions = settings.get_strv('enabled-extensions')

if topbar in extensions:
    print "HideTopBar is enabled, disabling"
    extensions.remove(topbar)
else:
    print "HideTopBar not found, enabling"
    extensions.append(topbar)
settings.set_strv('enabled-extensions', extensions)