The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.

user interface/desktops

Jump to letter: [ 3ABCDEFGHIJKLMNOPQRSTUVWXYZ ]

gnome-shell-browser-plugin - Browser plugin to install extensions from extensions.gnome.org

Website: https://wiki.gnome.org/Projects/GnomeShell
License: GPLv2+
Vendor: Scientific Linux
Description:
The "GNOME Shell Integration" plugin provides integration with
Gnome Shell for live extension enabling and disabling. It can
be used only by extensions.gnome.org.

Packages

gnome-shell-browser-plugin-3.22.3-17.el7.x86_64 [41 KiB] Changelog by Scientific Linux Auto Patch Process (2017-08-07): 
- Added Source: gnome-shell_spec-use-our-artwork.patch
-->  Brand this with SL colors
- Added Source: gnome-shell.ini
-->  Config file for automated patch script
gnome-shell-browser-plugin-3.14.4-37.el7.x86_64 [37 KiB] Changelog by Ray Strode (2015-10-13): 
- Fix Username: entry when disable-user-list is on
  Related: #1262999
  Resolves: 1270378

Listing created by Repoview-0.6.6-4.el7

These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.