| Server IP : 85.112.90.236 / Your IP : 192.168.1.26 Web Server : Apache System : Linux 85-112-90-236.cprapid.com 6.12.0-211.7.3.el10_2.x86_64 #1 SMP PREEMPT_DYNAMIC Tue May 19 12:46:58 EDT 2026 x86_64 User : ftechme ( 1002) PHP Version : 8.2.32 Disable Function : exec,passthru,shell_exec,system MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : OFF | Sudo : ON | Pkexec : ON Directory : /proc/self/root/bin/ |
Upload File : |
#!/usr/bin/python3
# -*- mode: Python; indent-tabs-mode: nil; -*-
import subprocess
import sys
import optparse
def extension_command(args):
print("gnome-shell-extension-tool is deprecated, use gnome-extensions instead",
file=sys.stderr)
subprocess.run(["/usr/bin/gnome-extensions"] + args)
def create_extension():
extension_command(["create", "--interactive"])
def enable_extension(uuid):
extension_command(["enable", uuid])
def disable_extension(uuid):
extension_command(["disable", uuid])
def reload_extension(uuid):
print("Reloading extensions does not work correctly and is no longer supported",
file=sys.stderr)
def main():
parser = optparse.OptionParser()
parser.add_option("-d", "--disable-extension", dest="disable",
help="Disable a GNOME Shell extension")
parser.add_option("-e", "--enable-extension", dest="enable",
help="Enable a GNOME Shell extension")
parser.add_option("-c", "--create-extension", dest="create", action="store_true",
help="Create a new GNOME Shell extension")
parser.add_option("-r", "--reload-extension", dest="reload",
help="Reload a GNOME Shell extension")
options, args = parser.parse_args()
if args:
parser.print_usage()
sys.exit(1)
if options.disable:
disable_extension(options.disable)
elif options.enable:
enable_extension(options.enable)
elif options.create:
create_extension()
elif options.reload:
reload_extension(options.reload)
else:
parser.print_usage()
sys.exit(1)
if __name__ == "__main__":
main()