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.
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:
gupand.gupfoldersextension.jsandprefs.jsare symbolic links to outside of that directory, meaning the extension is broken outside of the build directoryPlease 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.jsandshellshape.pot, like the official zip you offer on GNOME's extension site.