How could we add these to the UGR ppa? http://git.gnome.org/browse/gnome-shell-extensions/tree/
Those are the standard gnome-shell-extensions available from Gnome. I don't know how to package, but I've seen Fedora 15 has rpms of those. Would be enough to convert them from rpms to deb with alien? -- This message was sent from Launchpad by =?utf-8?q?xerm=C3=A1n?= (https://launchpad.net/~xerman.soto) using the "Contact this team" link on the Ubuntu Gnome Remix Team team page (https://launchpad.net/~ubuntugnometeam). For more information see https://help.launchpad.net/YourAccount/ContactingPeople -- Mailing list: https://launchpad.net/~ubuntugnometeam Post to : [email protected] Unsubscribe : https://launchpad.net/~ubuntugnometeam More help : https://help.launchpad.net/ListHelp
