Re: [PATCH] gnu: Add texmaker.

2016-05-26 Thread Leo Famulari
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

Re: [PATCH] gnu: Add texmaker.

2016-05-26 Thread Roel Janssen
Ludovic Courtès writes: > Hello! > > Roel Janssen 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!

Re: [PATCH] gnu: Add texmaker.

2016-05-26 Thread Ludovic Courtès
Hello! Roel Janssen 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 crea

Re: [PATCH] gnu: Add texmaker.

2016-05-25 Thread Ludovic Courtès
Leo Famulari skribis: > On Tue, May 24, 2016 at 11:51:19AM +0200, Ludovic Courtès wrote: [...] >> What’s your Savannah account? Please make sure to upload your current >> OpenPGP public key there. > > Can Savannah use our PGP keys somehow? It cannot “use” them, but it can store them, in the /

Re: [PATCH] gnu: Add texmaker.

2016-05-24 Thread Roel Janssen
>From d8638ddcfa7357168f542f626579eba9b6c5286b Mon Sep 17 00:00:00 2001 From: Roel Janssen Date: Tue, 24 May 2016 21:18:53 +0200 Subject: [PATCH 1/2] gnu: Rename texlive module to tex. * gnu/local.mk (GNU_SYSTEM_MODULES): Rename texlive.scm to tex.scm. * gnu/packages/texlive.scm: Rename file to t

Re: [PATCH] gnu: Add texmaker.

2016-05-24 Thread Leo Famulari
On Tue, May 24, 2016 at 11:51:19AM +0200, Ludovic Courtès wrote: > Roel Janssen skribis: > > > From fc657a31b4a52628c09a0b634c49b71cce2230bc Mon Sep 17 00:00:00 2001 > > From: Roel Janssen > > Date: Tue, 24 May 2016 00:14:59 +0200 > > Subject: [PATCH 1/2] gnu: Rename texlive to tex. > > > > * gn

Re: [PATCH] gnu: Add texmaker.

2016-05-24 Thread Ben Woodcroft
On 24/05/16 19:51, Ludovic Courtès wrote: What’s your Savannah account? Please make sure to upload your current OpenPGP public key there. Congrats, well deserved. ben

Re: [PATCH] gnu: Add texmaker.

2016-05-24 Thread Efraim Flashner
On Tue, May 24, 2016 at 11:51:19AM +0200, Ludovic Courtès wrote: > Roel Janssen skribis: > > > From fc657a31b4a52628c09a0b634c49b71cce2230bc Mon Sep 17 00:00:00 2001 > > From: Roel Janssen > > Date: Tue, 24 May 2016 00:14:59 +0200 > > Subject: [PATCH 1/2] gnu: Rename texlive to tex. > > > > * gn

Re: [PATCH] gnu: Add texmaker.

2016-05-24 Thread Ludovic Courtès
Roel Janssen skribis: > From fc657a31b4a52628c09a0b634c49b71cce2230bc Mon Sep 17 00:00:00 2001 > From: Roel Janssen > 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/

Re: [PATCH] gnu: Add texmaker.

2016-05-23 Thread Roel Janssen
>From fc657a31b4a52628c09a0b634c49b71cce2230bc Mon Sep 17 00:00:00 2001 From: Roel Janssen 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.

Re: [PATCH] gnu: Add texmaker.

2016-05-23 Thread Ludovic Courtès
ename texlive.scm to tex.scm and stuff everything in there (that would be TeX Live + Rubber + TeXmaker.) Thoughts? >>From c1da9bec615cc81d6dccc75386f813459a4e14f4 Mon Sep 17 00:00:00 2001 > From: Roel Janssen > Date: Mon, 23 May 2016 01:53:20 +0200 > Subject: [PATCH] gn

Re: [PATCH] gnu: Add texmaker.

2016-05-23 Thread Roel Janssen
Efraim Flashner writes: > On Mon, May 23, 2016 at 01:59:07AM +0200, Roel Janssen wrote: >> Dear Guix, >> >> For the lack of a better place, I created a new file for texmaker. >> Maybe we should consider moving all LaTeX-related stuff into latex.scm. >> >> Here's a patch for Texmaker -- a decent

Re: [PATCH] gnu: Add texmaker.

2016-05-23 Thread Efraim Flashner
t in texlive make sense? > > >From c1da9bec615cc81d6dccc75386f813459a4e14f4 Mon Sep 17 00:00:00 2001 > From: Roel Janssen > Date: Mon, 23 May 2016 01:53:20 +0200 > Subject: [PATCH] gnu: Add texmaker. > > * gnu/local.mk (GNU_SYSTEM_MODULES): Add texmaker entry. > * gnu/packages/texmaker.scm: New

[PATCH] gnu: Add texmaker.

2016-05-22 Thread Roel Janssen
17 00:00:00 2001 From: Roel Janssen Date: Mon, 23 May 2016 01:53:20 +0200 Subject: [PATCH] gnu: Add texmaker. * gnu/local.mk (GNU_SYSTEM_MODULES): Add texmaker entry. * gnu/packages/texmaker.scm: New file. --- gnu/local.mk | 1 + gnu/packages/texmaker.