Done at Ubuntu-Gnome 14.04 :
$ aptitude show gnome-shell-extensions
Paquet: gnome-shell-extensions
Estat: instal·lat
Instal·lat automàticament: no
Versió: 3.10.1-0ubuntu2
Prioritat: opcional
Secció: universe/gnome
Mantenidor: Ubuntu Developers
<ubuntu-devel-discuss lists ubuntu com>
Arquitectura: all
Mida descomprimit: 1200 k
Depèn: dconf-gsettings-backend | gsettings-backend,
gnome-shell (>= 3.10), gnome-shell (< 3.11),
gir1.2-gtop-2.0, gvfs (>= 1.16.0), gnome-session (>= 3.8)
Recomana: gnome-tweak-tool (>= 3.10)
Descripció: Extensions to extend functionality of GNOME
Shell
The GNOME Shell redefines user interactions with the
GNOME desktop. In particular, it offers new paradigms for
launching applications, accessing documents, and organizing open
windows in GNOME. Later, it will
introduce a new applets eco-system and offer new
solutions for other desktop features, such as notifications and
contacts management. The GNOME Shell is intended to replace
functions handled by the GNOME Panel
and by the window manager in previous versions of GNOME.
The GNOME Shell has rich visual effects enabled by new graphical
technologies.
GNOME Shell is extensible using extensions. This package
contains official GNOME Shell extensions.
Homepage: https://wiki.gnome.org/GnomeShell/Extensions
El 13/12/15 a les 16:55, Leslie S Satenstein ha escrit:
Hi Manuel,
As you mentioned, there are extensions on the Gome Extension
website ( https://extensions.gnome.org/
) that I believe you are suggesting that they be made
available "permanent-addons", so that we have a completed
alternative to vanilla Gnome 3.18 or later interface.
In other
words, a Remix --a Remix in Fedora23 terms, which consists of
a basic Gnome, along with user provided Gnome extensions.
I
can't see Gnome doing it, but a user group could do so. I
may be prepared to help.
Regards
Leslie
Mr. Leslie Satenstein
Montréal
Québec, Canada
Hello,
I wanted to propose the idea of "extensions
distributions", to call it something for now. I
think it's great how extensible Gnome is, even if
the default experience may not be perfect for some
people, they have the ability to modify to their
liking through the powerful extension system, and
that's great.
As people
find and gather these extensions they end up
creating a new system, a different experience,
maybe a different paradigm, but all under the
platform of Gnome. At some point these people may
want others to check out their vision of a system,
but as far as I know there is no easy way to do
this.
What I'm
talking about is a way to, as is already the case
with extensions, provide a platform for finding,
installing and reviewing "extension distributions"
or "gnome distributions". A place where I can
provide a package with the wanted extensions that
another person can "install" or "activate" and
turn their system like the author's. This way
people can try different gnome experiences instead
of jumping through (GNU) Linux distributions.
_______________________________________________
gnome-shell-list mailing list
gnome-shell-list gnome org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list
_______________________________________________
gnome-shell-list mailing list
gnome-shell-list gnome org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list
|
