diff options
| author | Giacomo Leidi <goodoldpaul@autistici.org> | 2019-12-11 22:01:00 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-12-19 23:48:02 +0100 |
| commit | 8a02ae7fae0d217801c73b76de942da49c562876 (patch) | |
| tree | bd10f33df822b8f22db8f5912dc9ebe76e185e1f /gnu/packages/gnome-xyz.scm | |
| parent | d8169d05bb9e7d70597a646c95ee4001809070ac (diff) | |
| download | patches-8a02ae7fae0d217801c73b76de942da49c562876.tar patches-8a02ae7fae0d217801c73b76de942da49c562876.tar.gz | |
gnu: Add gnome-shell-extension-dash-to-panel.
* gnu/packages/gnome-xyz.scm (gnome-shell-extension-dash-to-panel): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/packages/gnome-xyz.scm')
| -rw-r--r-- | gnu/packages/gnome-xyz.scm | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/gnu/packages/gnome-xyz.scm b/gnu/packages/gnome-xyz.scm index 00ad701ad8..ebd8dd01e8 100644 --- a/gnu/packages/gnome-xyz.scm +++ b/gnu/packages/gnome-xyz.scm @@ -151,6 +151,45 @@ faster window switching.") (home-page "https://micheleg.github.io/dash-to-dock/") (license license:gpl2+))) +(define-public gnome-shell-extension-dash-to-panel + (package + (name "gnome-shell-extension-dash-to-panel") + (version "26") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/home-sweet-gnome/dash-to-panel.git") + (commit (string-append "v" version)))) + (sha256 + (base32 + "1phfx2pblygpcvsppsqqqflm7qnz46mqkw29hj0nv2dn69hf4xbc")) + (file-name (git-file-name name version)))) + (build-system gnu-build-system) + (arguments + `(#:tests? #f + #:make-flags (list (string-append "INSTALLBASE=" + (assoc-ref %outputs "out") + "/share/gnome-shell/extensions") + (string-append "VERSION=" + ,(package-version + gnome-shell-extension-dash-to-panel))) + #:phases + (modify-phases %standard-phases + (delete 'bootstrap) + (delete 'configure)))) + (native-inputs + `(("intltool" ,intltool) + ("pkg-config" ,pkg-config))) + (propagated-inputs + `(("glib" ,glib) + ("glib" ,glib "bin"))) + (synopsis "Icon taskbar for GNOME Shell") + (description "This extension moves the dash into the gnome main +panel so that the application launchers and system tray are combined +into a single panel, similar to that found in KDE Plasma and Windows 7+.") + (home-page "https://github.com/home-sweet-gnome/dash-to-panel/") + (license license:gpl2+))) + (define-public gnome-shell-extension-noannoyance (package (name "gnome-shell-extension-noannoyance") |