VesperOS/gnome-shell-extensions
6
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Change UUID to avoid gnome.org

Browse Source 
gnome.org is temporarily forbidden in UUIDs, to avoid people copy-pasting
it around. For this reason, I setup a repo at github and modified
the UUID accordingly.
I still think that primary development will stay at gnome.org, although
I'll keep both updated.
This commit is contained in:
Giovanni Campagna
2011-11-19 13:46:33 +01:00
parent 44c5651c3e
commit d76abc79c7
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
extension.mk
+1 -1
View File
@@ -2,7 +2,7 @@ extensionurl = http://git.gnome.org/gnome-shell-extensions
# Change these to modify how installation is performed
topextensiondir = $(datadir)/gnome-shell/extensions
extensionbase = @gnome-shell-extensions.gnome.org
extensionbase = @gnome-shell-extensions.gcampax.github.com
uuid = $(EXTENSION_ID)$(extensionbase)