Re: [PATCH 1/2] gnu: Rename texlive to tex.

[John Darrington]

On Tue, May 24, 2016 at 10:59:14AM +0200, Roel Janssen wrote:
     
     John Darrington writes:
     
     > On Tue, May 24, 2016 at 12:14:59AM +0200, Roel Janssen wrote:
     >      * 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.
     >      * gnu/packages/docbook.scm: Rename texlive to tex.
     >      * gnu/packages/engineering.scm: Rename texlive to tex.
     >      * gnu/packages/gettext.scm: Rename texlive to tex.
     >      * gnu/packages/gnome.scm: Rename texlive to tex.
     >      * gnu/packages/lisp.scm: Rename texlive to tex.
     >      * gnu/packages/maths.scm: Rename texlive to tex.
     >      * gnu/packages/music.scm: Rename texlive to tex.
     >      * gnu/packages/ocaml.scm: Rename texlive to tex.
     >      * gnu/packages/plotutils.scm: Rename texlive to tex.
     >      * gnu/packages/python.scm: Rename texlive to tex.
     >      * gnu/packages/scheme.scm: Rename texlive to tex.
     >
     > What is the purpose of doing that?  I thought that texlive was the chosen
     > name that the project had.
     >
     > I think there are a few other implementations of TeX in the wild (though 
     > mostly unmaintained).  Furthermore, I think Knuth has a trademark on the 
word "tex".
     >
     > J'
     
     See this thread:
       https://lists.gnu.org/archive/html/guix-devel/2016-05/msg00702.html
     
     I want to add Texmaker (an editor for TeX).  Putting it in texlive.scm
     wouldn't really fit because it's not part of Texlive.  So, the idea is
     to put everything TeX-related into one file (tex.scm).
     
Oh I see.  I thought you were renaming the package itself, not the file in which
its definition resides (saying "Rename texlive.scm to tex.scm" would have 
made this clearer).

J'

-- 
Avoid eavesdropping.  Send strong encryted email.
PGP Public key ID: 1024D/2DE827B3 
fingerprint = 8797 A26D 0854 2EAB 0285  A290 8A67 719C 2DE8 27B3
See http://sks-keyservers.net or any PGP keyserver for public key.

signature.asc
Description: Digital signature