linuxmint-community-repository-project team mailing list archive
-
linuxmint-community-repository-project team
-
Mailing list archive
-
Message #00084
Fwd: Cinnamon Extensions UUID?
---------- Forwarded message ----------
From: merlwiz79
Date: Monday, January 9, 2012
Subject: Cinnamon Extensions UUID?
To: Clement Lefebvre <clement.lefebvre@xxxxxxxxxxxxx>
edit:I have the debian package source and translations to edit.
I want a real package not one that's precompile and just made into a debian
package.
I can give you what I mean sometime today.
Well looking at this change I might as well use github for the UUID.
-extensionbase = @gnome-shell-extensions.gnome.org
+extensionbase = @gnome-shell-extensions.gcampax.github.com
Since that's where it will be hosted at.
I'm just redoing the gnome-shell-extension package for Cinnamon.
Just removing the extensions that won't work and changing the code to use
cinnamon instead.
Some places people were saying that they thought Cinnamon was getting ride
of the Shell extensions and was going back to the old style.
Where you have to modify the code to change things.
Others weren't happy that they couldn't enable the things they liked about
Gnome shell.
On Mon, Jan 9, 2012 at 6:53 AM, Clement Lefebvre <
clement.lefebvre@xxxxxxxxxxxxx> wrote:
Hi Merlwiz,
No, they'll be easy to activate or disable. All we need is for them to have
a unique name (a bit like packages) but they don't really need to follow
the same UUID format.
Regards,
Clement Lefebvre
Linux Mint
<http://www.linuxmint.com/img/signatures/sig-clefebvre.png>
On Mon, Jan 9, 2012 at 12:33 PM, merlwiz79 <mintmerlwiz79@xxxxxxxxx> wrote:
Oh ok I thought that maybe it was coded with the website name in it to make
it easier for the website or Gnome shell to manage the extensions.
I didn't try to decipher the code for it though.
https://github.com/linuxmint/Cinnamon/blob/master/js/ui/extensionSystem.js
This does look like it's setup to use the address.
http://git.gnome.org/browse/gnome-shell-extensions/commit/?id=d76abc79c77953de1be4322d96c14e0b8cccf047
Why not use UUIDs?
How else are you suppose to enable/disable the extension?
Hope you aren't going to make extensions hard again like in gnome 2.
On Mon, Jan 9, 2012 at 3:23 AM, Clement Lefebvre <
clement.lefebvre@xxxxxxxxxxxxx> wrote:
Hi Merlwiz,
I'm not sure we'll use UUIDs... or the same format. But if we do we're
likely to go for somename@xxxxxxxxxxxx
Regards,
Clement Lefebvre
Linux Mint
<http://www.linuxmint.com/img/signatures/sig-clefebvre.png>
On Sun, Jan 8, 2012 at 11:34 PM, merlwiz79 <mintmerlwiz79@xxxxxxxxx> wrote:
What about the uuid for extensions?
I want to make sure to use what you plan on have setup as default.
Gnome has the last part use it's website for extensions.
extensions.gnome.org
. Example: weather@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx is the uuid for the
weather extension and dock@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx is for the dock
one.
All of the gnome extensions use @gnome-shell-extensions.gnome.org
after the name.
I just want to make sure to get the debian packages right the 1st time so I
don't break them later.
What will be the extensions website address?
will it be extensions.linuxmint.com or cinnamon.extensions.linuxmint.com ?
So the UUID would be weather@cinnamon-extensions-extensions.linuxmint.comor
weather@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx ?
These are getting too long maybe weather@cinnamon-extensions.linuxmint.c