gnu: Add texmaker.

  Ludovic Courtès writes:

> Roel Janssen <roel@gnu.org> skribis:
>
>> From fc657a31b4a52628c09a0b634c49b71cce2230bc Mon Sep 17 00:00:00 2001
>> From: Roel Janssen <roel@gnu.org>
>> Date: Tue, 24 May 2016 00:14:59 +0200
>> Subject: [PATCH 1/2] gnu: Rename texlive to tex.
>>
>> * gnu/local.mk (GNU_SYSTEM_MODULES): Rename texlive.scm to tex.scm.
>> * gnu/packages/texlive.scm: Rename file to tex.scm.
>> * gnu/packages/tex.scm: Renamed from texlive.scm.
>> * gnu/packages/algebra.scm: Rename texlive to tex.
>
> Here I’d just put “Adjust accordingly.”
>
>> * gnu/packages/docbook.scm: Rename texlive to tex.
>> * gnu/packages/engineering.scm: Rename texlive to tex.
>
> … and here “Likewise.” is enough.
>
> Apart from that LGTM!

I've changed the commit message.  Hopefully it's how you envisioned it
should be.  I modified the first line to be more clear about what is to
be renamed (the module, not the package).

This version of the patch also renames Efraim Flashner's recent addition
of texlive in photo.scm.

>> From f54915ab4ab70133adced8fd71649918e38ba659 Mon Sep 17 00:00:00 2001
>> From: Roel Janssen <roel@gnu.org>
>> Date: Tue, 24 May 2016 00:16:05 +0200
>> Subject: [PATCH 2/2] gnu: Add texmaker.
>>
>> * gnu/packages/tex.scm (texmaker): New variable.
>
> OK.
>
> I think it would help now if you could access the repo directly.  :-)
>
> What’s your Savannah account?  Please make sure to upload your current
> OpenPGP public key there.

Thanks!  My Savannah username is roelj.  I've created a new PGP key and
updated my account's public key accordingly.

May I sign and push these patches?

Kind regards,
Roel Janssen
  

Hello!

Roel Janssen <roel@gnu.org> skribis:

> Ludovic Courtès writes:

[...]

>> I think it would help now if you could access the repo directly.  :-)
>>
>> What’s your Savannah account?  Please make sure to upload your current
>> OpenPGP public key there.
>
> Thanks!  My Savannah username is roelj.  I've created a new PGP key and
> updated my account's public key accordingly.

Awesome, welcome!  :-)

Please see ‘HACKING’.  If in doubt with Git or anything, don’t hesitate
to ask.  Also, make sure to sign commits that you push.

> May I sign and push these patches?

Yes, please!

Cheers,
Ludo’.
  

Ludovic Courtès writes:

> Hello!
>
> Roel Janssen <roel@gnu.org> skribis:
>
>> Ludovic Courtès writes:
>
> [...]
>
>>> I think it would help now if you could access the repo directly.  :-)
>>>
>>> What’s your Savannah account?  Please make sure to upload your current
>>> OpenPGP public key there.
>>
>> Thanks!  My Savannah username is roelj.  I've created a new PGP key and
>> updated my account's public key accordingly.
>
> Awesome, welcome!  :-)
>
> Please see ‘HACKING’.  If in doubt with Git or anything, don’t hesitate
> to ask.  Also, make sure to sign commits that you push.
>
>> May I sign and push these patches?
>
> Yes, please!

Pushed.  Is there an interface other than the following command to
verify the commits are signed?:

  git --no-pager log --show-signature -1

Thanks!

Kind regards,
Roel Janssen
  

On Thu, May 26, 2016 at 10:47:46AM +0200, Roel Janssen wrote:
> Pushed.  Is there an interface other than the following command to
> verify the commits are signed?:
> 
>   git --no-pager log --show-signature -1

`git verify-commit` can be used to programmatically verify the
signatures of commits. I sent an example of how to use it in the
'pre-push' hook attached to this message:

http://lists.gnu.org/archive/html/guix-devel/2016-05/msg00661.html