Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

Information for RPM gnome-shell-extension-pop-shell-1.2.0^24.e25621e-1.fc41.src.rpm

ID	1473408
Name	gnome-shell-extension-pop-shell
Version	1.2.0^24.e25621e
Release	1.fc41
Epoch
Arch	src
Summary	GNOME Shell extension for advanced tiling window management
Description	Pop Shell is a keyboard-driven layer for GNOME Shell which allows for quick and sensible navigation and management of windows. The core feature of Pop Shell is the addition of advanced tiling window management - a feature that has been highly sought within our community. For many - ourselves included - i3wm has become the leading competitor to the GNOME desktop.
Build Time	2024-11-01 14:12:13 GMT
Size	868.20 KB
SIGMD5	65ffd38deb4ad71d271d2fabf21f98a3
License	GPL-3.0-only
Provides	gnome-shell-extension-pop-shell = 1.2.0^24.e25621e-1.fc41 gnome-shell-extension-pop-shell-shortcut-overrides = 1.2.0^24.e25621e-1.fc41
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	make rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 typescript >= 3.8
Recommends	No Recommends
Suggests	No Suggests
Supplements	No Supplements
Enhances	No Enhances
Files	1 through 8 of 8 Name Size 0001-Remove-schema-handling-from-transpile.sh.patch 847.00 B 50_org.gnome.desktop.wm.keybindings.pop-shell.gschema.override 612.00 B 50_org.gnome.mutter.pop-shell.gschema.override 310.00 B 50_org.gnome.mutter.wayland.pop-shell.gschema.override 62.00 B 50_org.gnome.settings-daemon.plugins.media-keys.pop-shell.gschema.override 193.00 B 50_org.gnome.shell.pop-shell.gschema.override 494.00 B gnome-shell-extension-pop-shell.spec 8.88 KB pop-shell-e25621e.tar.gz 844.21 KB
Component of	No Buildroots