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.

unspecified

gnome-tweak-tool - Customize advanced GNOME 3 options

Website: https://wiki.gnome.org/action/show/Apps/Tweaks
License: GPLv3 and CC0
Vendor: Scientific Linux
Description:
GNOME Tweaks allows adjusting advanced configuration settings in GNOME 3. This
includes things like the fonts used in user interface elements, alternative user
interface themes, changes in window management behavior, GNOME Shell appearance
and extension, etc.

Packages

gnome-tweak-tool-3.28.1-7.el7.noarch [299 KiB] Changelog by Milan Crha (2020-01-14):
- Resolves: #1789491 (Extensions panel is empty)
gnome-tweak-tool-3.28.1-2.el7.noarch [297 KiB] Changelog by Carlos Soriano (2018-06-14):
- Port to python2
- Resolves: #1590848
gnome-tweak-tool-3.22.0-1.el7.noarch [272 KiB] Changelog by Kalev Lember (2016-09-22):
- Update to 3.22.0
gnome-tweak-tool-3.14.3-2.el7.noarch [239 KiB] Changelog by Rui Matos (2015-08-28):
- Fix a crash when classic session gsettings schema isn't available
Resolves: #1256644

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.