diff options
| author | Rene Saavedra <rennes@openmailbox.org> | 2016-02-25 07:07:06 -0600 |
|---|---|---|
| committer | Leo Famulari <leo@famulari.name> | 2016-02-25 16:36:10 -0500 |
| commit | 66d59111e3a6deeddd6b2e4f96a6c5440785532f (patch) | |
| tree | 89c1dcd24caa58298642943d04a6f433479c33a2 | |
| parent | 735e84c7bd10af6859d4a164a68595d8e67b826d (diff) | |
gnu: Add dconf-editor.
* gnu/packages/gnome.scm (dconf-editor): New variable.
Signed-off-by: Leo Famulari <leo@famulari.name>
| -rw-r--r-- | gnu/packages/gnome.scm | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm index d68633e83d..578b43121b 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 GNOME's dconf configuration system") + (description + "Dconf-editor is a graphical tool for browsing and editing the dconf +configuration system for GNOME. It allows users to configure desktop +software that do not provide their own configuration interface.") + (license license:lgpl2.1+))) + (define-public gnome (package (name "gnome") |