Hey,
for packaging this extension, it would be useful to have a gup script that installs system-wide.
I have created PR #195 for this, but I noticed that the resulting install has two problems:
- there are useless
gup and .gup folders
- much more gravely,
extension.js and prefs.js are symbolic links to outside of that directory, meaning the extension is broken outside of the build directory
Please fix these by providing a gup target that installs to the correct system path, respecting $PREFIX, and only contains data, lib, locale, extension.js, metadata.json, prefs.js and shellshape.pot, like the official zip you offer on GNOME's extension site.