Re: [MacPorts] #12913: tetex is dead
#12913: tetex is dead -----------------------------------+---------------------------------------- Reporter: zach@… | Owner: gwright@… Type: enhancement | Status: closed Priority: Normal | Milestone: Component: ports | Version: 1.5.0 Resolution: fixed | Keywords: Port: | -----------------------------------+---------------------------------------- Description changed by ryandesign@…: Old description:
The tetex port should be replaced somehow. The tetex distribution is dead, i.e., it's former maintainer has stopped maintaining it.
There are 2 issues: 1. Many people on the mac install some other TeX distribution. For instance I have chosen TeXLive, which is sort of an "official" distro. It works well. 2. Since most non-macports tex distibutions bring their "own" directory hierarchy, and since a tex distro takes almost 1 GB of disk space, I think it is really too much of a waste of space to have a second, "parallel" tex installation by macports.
So macports really should detect whether or not there is already a tex installation (at least one of the usual "suspects"); and only if there is none, then it should install it's own.
Best regards, Gabriel.
New description: The tetex port should be replaced somehow. [[br]] The tetex distribution is dead, i.e., it's former maintainer has stopped maintaining it. There are 2 issues: 1. Many people on the mac install some other TeX distribution. For instance I have chosen TeXLive, which is sort of an "official" distro. It works well. 2. Since most non-macports tex distibutions bring their "own" directory hierarchy, and since a tex distro takes almost 1 GB of disk space, I think it is really too much of a waste of space to have a second, "parallel" tex installation by macports. So macports really should detect whether or not there is already a tex installation (at least one of the usual "suspects"); and only if there is none, then it should install it's own. Best regards, [[br]] Gabriel. -- -- Ticket URL: <http://trac.macports.org/ticket/12913#comment:22> MacPorts <http://www.macports.org/> Ports system for Mac OS
participants (1)
-
MacPorts