gnu: Add gnome-shell-extension-hide-app-icon.
* gnu/packages/gnome-xyz.scm (gnome-shell-extension-hide-app-icon): New variable. Signed-off-by: Efraim Flashner <efraim@flashner.co.il>master
parent
ae4e141452
commit
5be0ff33ff
|
@ -151,6 +151,52 @@ faster window switching.")
|
||||||
(home-page "https://micheleg.github.io/dash-to-dock/")
|
(home-page "https://micheleg.github.io/dash-to-dock/")
|
||||||
(license license:gpl2+)))
|
(license license:gpl2+)))
|
||||||
|
|
||||||
|
(define-public gnome-shell-extension-hide-app-icon
|
||||||
|
(let ((commit "4188aa5f4ba24901a053a0c3eb0d83baa8625eab")
|
||||||
|
(revision "0"))
|
||||||
|
(package
|
||||||
|
(name "gnome-shell-extension-hide-app-icon")
|
||||||
|
(version (git-version "2.7" revision commit))
|
||||||
|
(source
|
||||||
|
(origin
|
||||||
|
(method git-fetch)
|
||||||
|
(uri (git-reference
|
||||||
|
(url "https://github.com/michael-rapp/gnome-shell-extension-hide-app-icon.git")
|
||||||
|
(commit commit)))
|
||||||
|
(sha256
|
||||||
|
(base32
|
||||||
|
"1i28n4bz6wrhn07vpxkr6l1ljyn7g8frp5xrr11z3z32h2hxxcd6"))
|
||||||
|
(file-name (git-file-name name version))))
|
||||||
|
(build-system gnu-build-system)
|
||||||
|
(arguments
|
||||||
|
'(#:tests? #f ; no test target
|
||||||
|
#:make-flags (list (string-append "EXTENSIONS_DIR="
|
||||||
|
(assoc-ref %outputs "out")
|
||||||
|
"/share/gnome-shell/extensions"))
|
||||||
|
#:phases
|
||||||
|
(modify-phases %standard-phases
|
||||||
|
(delete 'configure) ; no configure script
|
||||||
|
(replace 'install
|
||||||
|
(lambda* (#:key outputs #:allow-other-keys)
|
||||||
|
(let ((out (assoc-ref outputs "out")))
|
||||||
|
(copy-recursively "hide-app-icon@mrapp.sourceforge.com/"
|
||||||
|
(string-append out "/share/gnome-shell/extensions"))
|
||||||
|
#t))))))
|
||||||
|
(native-inputs
|
||||||
|
`(("glib" ,glib "bin")
|
||||||
|
("intltool" ,intltool)))
|
||||||
|
(propagated-inputs
|
||||||
|
`(("glib" ,glib)))
|
||||||
|
(synopsis "Hide app icon from GNOME's panel")
|
||||||
|
(description "This extension allows to hide the icon and/or title of the
|
||||||
|
currently focused application in the top panel of the GNOME shell.")
|
||||||
|
(home-page "https://github.com/michael-rapp/gnome-shell-extension-hide-app-icon/")
|
||||||
|
(license
|
||||||
|
;; README.md and LICENSE.txt disagree -- the former claims v3, the
|
||||||
|
;; latter v2. No mention of "or later" in either place or in the code.
|
||||||
|
(list license:gpl2
|
||||||
|
license:gpl3)))))
|
||||||
|
|
||||||
(define-public gnome-shell-extension-dash-to-panel
|
(define-public gnome-shell-extension-dash-to-panel
|
||||||
(package
|
(package
|
||||||
(name "gnome-shell-extension-dash-to-panel")
|
(name "gnome-shell-extension-dash-to-panel")
|
||||||
|
|
Reference in New Issue