Dock for the Gnome Shell by micxgx@gmail.com
393.25 KB
built 2026-10-14 05:32:35 GMT
Description
This extension enhances the dash moving it out of the overview and
transforming it in a dock for an easier launching of applications
and a faster switching between windows and desktops without having
to leave the desktop view.
Dependencies
7 totalRequires6
- /usr/bin/glib-compile-schemas
- gettext
- make
- rpmlib(CompressedFileNames) <= 3.0.4-1
- rpmlib(FileDigests) <= 4.6.0-1
- sassc
Provides1
- gnome-shell-extension-dash-to-dock = 105-2.fc45
ObsoletesNo Obsoletes
ConflictsNo Conflicts
RecommendsNo Recommends
SuggestsNo Suggests
SupplementsNo Supplements
EnhancesNo Enhances
Files
3Name ![]() |
Size |
|---|---|
| gnome-shell-extension-dash-to-dock-105.tar.gz | 362.62 KB |
| gnome-shell-extension-dash-to-dock.spec | 12.94 KB |
| stylesheet.css | 75.26 KB |
Files 1–3 of 3
Component of
buildroots that installed this RPMNo Buildroots
