Simply script for update version number of GNOME Shell in extensions directory for working in new version of GNOME Shell
-
Copy gse-ver-upd.py to gnome-shell share directory (/usr/share//gnome-shell or /home/{user_name}/.local/share/gnome-shell)
-
Run in terminal: cd {path-to-share-of-gnome-shell}; python gse-ver-upd.py