On 2016-02-24 19:41, Leo Famulari wrote:
On Tue, Feb 23, 2016 at 05:44:39PM -0600, ren...@openmailbox.org wrote:
Hi,
i attached dconf-editor patch for review.
Dconf-editor is a graphical editor for the dconf database.
Awesome!
I don't have a way to check if this works or not (that is, I don't have
a GNOME system). But if you confirm it works for you I think it is
ready
to be merged, with an updated synopsis and description!
* gnu/packages/gnome.scm (dconf-editor): New variable.
[...]
+ (synopsis "Graphical editor for the dconf database")
How about this?
"Graphical editor for GNOME's dconf configuration system"
+ (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.")
How about this?
"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."
...assuming that description is accurate. I'm not very familiar with
dconf,
Gsettings, etc.
If this package works for, and these changes are okay, I can make the
changes myself and push. Please let me know!
Hi,
I made the changes and the program works well.
Thanks
From 74d1ab0d917acaf27aa6e74f17fcdbcc688b97fe Mon Sep 17 00:00:00 2001
From: Rene Saavedra <ren...@openmailbox.org>
Date: Thu, 25 Feb 2016 07:07:06 -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..578b431 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")
--
2.6.3
