[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#56128] [PATCH 1/4] gnu: Add gnome-shell-extension-activities-icons
From: |
Sughosha |
Subject: |
[bug#56128] [PATCH 1/4] gnu: Add gnome-shell-extension-activities-icons |
Date: |
Wed, 22 Jun 2022 06:19:02 +0000 |
From 2af37e0bd6803f8be86106d4d795dce92d790e4a Mon Sep 17 00:00:00 2001Date: Wed, 22 Jun 2022 08:05:51 +0200
Subject: [PATCH 1/4] gnu: Add gnome-shell-extension-activities-icons
* gnu/packages/gnome-xyz.scm: Add gnome-shell-extension-activities-icons
---
gnu/packages/gnome-xyz.scm | 23 +++++++++++++++++++++++
1 file changed, 23 insertions(+)
diff --git a/gnu/packages/gnome-xyz.scm b/gnu/packages/gnome-xyz.scm
index 9e5d319291..4f4ac11f41 100644
--- a/gnu/packages/gnome-xyz.scm
+++ b/gnu/packages/gnome-xyz.scm
@@ -985,6 +985,29 @@ (define-public gnome-shell-extension-blur-my-shell
GNOME Shell, including the top panel, dash and overview.")
(license license:gpl3)))
+(define-public gnome-shell-extension-activities-icons
+ (let ((revision "12") (commit "651179d1727d5ed80866f2319d5e4793b28631ae"))
+ (package
+ (name "gnome-shell-extension-activities-icons")
+ (version (git-version "0" revision commit))
+ (source (origin
+ (method git-fetch)
+ (uri (git-reference
+ (commit commit)))
+ (sha256
+ (base32
+ "0c77f77knchzdg1mmyn6ahb3lgfd54ym30wnyrh20y4zbwn8ri2w"))))
+ (build-system copy-build-system)
+ (arguments
+ `(#:install-plan `(("."
+ "/share/gnome-shell/extensions/activities_icons@fawtytoo"))))
+ (synopsis "Activities Icons for GNOME Shell")
+ (description
+ "The Activities button becomes 2 icons for selecting either Applications or Workspaces in the overview. Selecting the same view again will hide the overview. Scrolling on the icons allows switching windows on a workspace or cycling through the Workspaces.")
+ (license license:gpl3))))
+
(define-public arc-theme
(package
(name "arc-theme")
--
2.36.1
- [bug#56128] [PATCH] gnu: Add some gnome extensions, Sughosha, 2022/06/21
- [bug#56128] [PATCH] gnu: Add some gnome extensions, Liliana Marie Prikler, 2022/06/21
- [bug#56128] [PATCH] gnu: Add some gnome extensions, Maxime Devos, 2022/06/21
- [bug#56128] [PATCH 2/4] gnu: Add gnome-shell-extension-radio, Sughosha, 2022/06/22
- [bug#56128] [PATCH 1/4] gnu: Add gnome-shell-extension-activities-icons,
Sughosha <=
- [bug#56128] [PATCH 3/4] gnu: Add gnome-shell-extension-sound-output-device-chooser, Sughosha, 2022/06/22
- [bug#56128] [PATCH 4/4] gnu: Add gnome-shell-extension-transparent-window, Sughosha, 2022/06/22
- [bug#56128] [PATCH] gnu: Add some gnome extensions, Sughosha, 2022/06/24