diff options
author | Marius Bakke <mbakke@fastmail.com> | 2018-03-29 17:34:41 +0200 |
---|---|---|
committer | Marius Bakke <mbakke@fastmail.com> | 2018-03-29 17:34:41 +0200 |
commit | 5576cfabf3485e0cf794cc3de085a3578151ee64 (patch) | |
tree | 8ca4093d05fda6b0064d0fca429353327ec491f9 /gnu/packages/xdisorg.scm | |
parent | 12cb6c31df4b90d58658e88a256e36b6808e1064 (diff) | |
parent | e086d2f68b90a39bae07ae46572e5cc6b0fc4308 (diff) | |
download | guix-5576cfabf3485e0cf794cc3de085a3578151ee64.tar.gz |
Merge branch 'master' into core-updates
Diffstat (limited to 'gnu/packages/xdisorg.scm')
-rw-r--r-- | gnu/packages/xdisorg.scm | 25 |
1 files changed, 2 insertions, 23 deletions
diff --git a/gnu/packages/xdisorg.scm b/gnu/packages/xdisorg.scm index 01cb99880c..eb7f48228d 100644 --- a/gnu/packages/xdisorg.scm +++ b/gnu/packages/xdisorg.scm @@ -1104,7 +1104,7 @@ connectivity of the X server running on a particular @code{DISPLAY}.") version "/rofi-" version ".tar.xz")) (sha256 (base32 - "10r1jd3h5i22pdr619hmvxv6dhzf9i13j50c28g7yffdggx8ncjg")))) + "0wx118banbwfqdwc5y44fkp3hxg97gj3vma16528slhy408hkg7i")))) (build-system gnu-build-system) (inputs `(("pango" ,pango) @@ -1133,28 +1133,7 @@ connectivity of the X server running on a particular @code{DISPLAY}.") (("~root") "/root") (("~") "") (("g_get_home_dir \\(\\)") "\"/\"")) - #t)) - (add-before 'check 'add-missing-configuration-files - (lambda _ - ;; These files are missing in the 1.5.0 release, causing a test - ;; failure: <https://github.com/DaveDavenport/rofi/issues/782>. - (with-directory-excursion "subprojects/libnkutils/tests" - (mkdir "gtk-3.0") - (call-with-output-file "gtk-3.0/settings.ini" - (lambda (port) - (format port "[Settings] -gtk-double-click-time = 300 -gtk-cursor-theme-name = gnome -"))) - (mkdir "gtk-4.0") - (call-with-output-file "gtk-4.0/settings.ini" - (lambda (port) - (format port "[Settings] -gtk-double-click-time = 300 -gtk-icon-theme-name = nothing-like-this-theme -gtk-enable-primary-paste = true -"))) - #t)))))) + #t))))) (home-page "https://github.com/DaveDavenport/rofi") (synopsis "Application launcher") (description "Rofi is a minimalist application launcher. It memorizes which |