Skip to content
Snippets Groups Projects

[#127] Improve 'dist' target to create tarball

Merged Dirk HOFFMANN requested to merge feature/127-Dist_creates_tarball into develop

Created by: elbenfreund

Our dist target now also create a tarball of the extension that can be extracted right into ~/.local/share/gnome-shell/extensions/ if we want to install the extension manually and not via extensions.gnome.org. This avoids people clone the repository itself as done previously, which would not work anymore anyways as the new structure does not match what gnome shell extensions should look like.

Those new tarballs should be discributed as primary releases on github in order to complement extensions.gnome.org.

Closes: #127 (closed)

Merge request reports

Loading
Loading

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply
Loading