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 atork...@gmail.com 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

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 concerned,

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 reinhard.kotu...@web.dewrote: 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

[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

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 he