Re: [PATCH] gnu: Add dconf-editor.

[rennes@openmailbox.org]

[-- Attachment #1: Type: text/plain, Size: 1458 bytes --]

On 2016-02-24 19:41, Leo Famulari wrote:
> On Tue, Feb 23, 2016 at 05:44:39PM -0600, rennes@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


[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: 0001-gnu-Add-dconf-editor.patch --]
[-- Type: text/x-diff; name=0001-gnu-Add-dconf-editor.patch, Size: 1847 bytes --]

From 74d1ab0d917acaf27aa6e74f17fcdbcc688b97fe Mon Sep 17 00:00:00 2001
From: Rene Saavedra <rennes@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