From 59de11a0cae271bdae0cb092509596ac8136f12f Mon Sep 17 00:00:00 2001 From: Rene Saavedra Date: Tue, 23 Feb 2016 17:36:26 -0600 Subject: [PATCH] gnu: Add dconf-editor. * gnu/packages/gnome.scm (dconf-editor): New variable. --- gnu/packages/gnome.scm | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm index d68633e..18f10c7 100644 --- a/gnu/packages/gnome.scm +++ b/gnu/packages/gnome.scm @@ -4742,6 +4742,36 @@ screen, a window or a user defined area of the screen, with optional beautifying border effects.") (license license:gpl2+))) +(define-public dconf-editor + (package + (name "dconf-editor") + (version "3.18.2") + (source + (origin + (method url-fetch) + (uri (string-append "mirror://gnome/sources/" name "/" + (version-major+minor version) "/" + name "-" version ".tar.xz")) + (sha256 + (base32 + "0xdwi7g1xdmgrc9m8ii62fp2zj114gsfpmgazlnhrcmmfi97z5d7")))) + (build-system glib-or-gtk-build-system) + (native-inputs + `(("glib:bin" ,glib "bin") ; for glib-compile-schemas, gio-2.0. + ("intltool" ,intltool) + ("pkg-config" ,pkg-config))) + (inputs + `(("dconf" ,dconf) + ("gtk+" ,gtk+) + ("libxml2" ,libxml2))) + (home-page "https://git.gnome.org/browse/dconf-editor") + (synopsis "Graphical editor for the dconf database") + (description + "Dconf-editor is a graphical tool for browse and edit the dconf database. +Gconf-editor allows you to change the preferences of desktop software that +does not provide any other way to change the default.") + (license license:lgpl2.1+))) + (define-public gnome (package (name "gnome") -- 2.6.3