From d76abc79c77953de1be4322d96c14e0b8cccf047 Mon Sep 17 00:00:00 2001 From: Giovanni Campagna Date: Sat, 19 Nov 2011 13:37:09 +0100 Subject: [PATCH] Change UUID to avoid gnome.org 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. --- extension.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/extension.mk b/extension.mk index c429a5ad..1301dce6 100644 --- a/extension.mk +++ b/extension.mk @@ -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)