Skip to content

Instantly share code, notes, and snippets.

@jorp
Created March 17, 2021 01:20
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save jorp/ee87c3f8bb98f1f84effb56ae4b9e182 to your computer and use it in GitHub Desktop.
Save jorp/ee87c3f8bb98f1f84effb56ae4b9e182 to your computer and use it in GitHub Desktop.
check which our your installed gnome shell extensions are supported in gnome 40 or 40.beta
#!/usr/bin/env python3
import os, json, glob, requests
url = "https://extensions.gnome.org/extension-info/?uuid="
ext_metadata_files = os.environ['HOME'] + "/.local/share/gnome-shell/extensions/**/metadata.json"
for filename in glob.glob(ext_metadata_files):
with open(filename) as jfile:
data = json.load(jfile)
resp = requests.get(url=url+data['uuid'])
data = resp.json()
for i in data['shell_version_map']:
if i == "40" or i == "40.beta":
print(data['name'], i)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment