Re: [tex4ht] Collision of /usr/bin/ht with HT Editor

2013-05-08 Thread Radhakrishnan CV
On Tue, May 7, 2013 at 2:48 AM, Karl Berry wrote: [...] What distros choose to do is not up to me, but I don't want to remove ht > from TeX Live. > > (CVR, if you have any ideas on this, of course please let me know.) > I would entirely agree with you, Karl. It is not an easy task to change the

Re: [tex4ht] Collision of /usr/bin/ht with HT Editor

2013-05-07 Thread Reinhard Kotucha
On 2013-05-07 at 17:12:50 -0700, William F Hammond wrote: > It's possible, but I fail to see how. Even if I'm wrong, one could > simply place a copy of (the tiny script) "ht" in a private path > component to keep it going. The program exists for years and there is no need to change anything.

Re: [tex4ht] Collision of /usr/bin/ht with HT Editor

2013-05-07 Thread William F Hammond
On Tue, May 7, 2013 at 3:33 PM, Reinhard Kotucha wrote: > On 2013-05-07 at 02:12:45 +0400, Alexey Torkhov wrote: > > ... As far as tex4ht is concerned, I fully agree with Karl. Not only > because two-letter names are deprecated but also because more > meaningful names are more user-friendly.

Re: [tex4ht] Collision of /usr/bin/ht with HT Editor

2013-05-07 Thread Reinhard Kotucha
On 2013-05-07 at 02:12:45 +0400, Alexey Torkhov wrote: > Hi, Karl. > > Thank you for answer. Will see what the other side is thinking... BTW, maybe you can convince the other side that users benefit from more meaningful names. I would suggest "htedit" or similar. As far as tex4ht is concern

Re: [tex4ht] Collision of /usr/bin/ht with HT Editor

2013-05-07 Thread William F Hammond
On Mon, May 6, 2013 at 3:12 PM, Alexey Torkhov wrote: Hi, Karl. Thank you for answer. Will see what the other side is thinking... Alexey ... I agree with Karl that one and two, even three and maybe four or five, character names should no long

Re: [tex4ht] Collision of /usr/bin/ht with HT Editor

2013-05-07 Thread Alexey Torkhov
Hi, Karl. Thank you for answer. Will see what the other side is thinking... Alexey 2013/5/7 Karl Berry > Hi Alexey - > > I'm sympathetic to the problem but don't see a good solution from this > side. The ht executable has been since the beginning of tex4ht -- 15 > years or so. I don't want

Re: [tex4ht] Collision of /usr/bin/ht with HT Editor

2013-05-06 Thread Karl Berry
Hi Alexey - I'm sympathetic to the problem but don't see a good solution from this side. The ht executable has been since the beginning of tex4ht -- 15 years or so. I don't want to remove it now at this late date. If Eitan had asked me in 1999 I would have told him "no two-letter names", but h

[tex4ht] Collision of /usr/bin/ht with HT Editor

2013-05-06 Thread Alexey Torkhov
Hi. Tex4HT provides 'ht' script that gets installed into /usr/bin/ht by most linux distributions. But, there also exists so called HT Editor, which is hexeditor with disassembler - http://hte.sourceforge.net (yes, they have hte in hostname, but distribute themselves as 'ht' binary). So, here comes