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

2016-02-25 Thread Leo Famulari
> On 2016-02-24 19:41, Leo Famulari wrote:
> >On Tue, Feb 23, 2016 at 05:44:39PM -0600, ren...@openmailbox.org wrote:
> >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, pushed as 66d59111e3a!



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

2016-02-25 Thread rennes

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 
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