Re: Escaping hyphens ("real" minus signs in groff)

2021-03-06 Thread Alejandro Colomar
Hey Michael & Branden! On 1/22/21 4:56 AM, G. Branden Robinson wrote: > Hi Michael! > > At 2021-01-21T12:03:13+0100, Michael Kerrisk (man-pages) wrote: >> I appreciate your long answer *very* much. But, I'm glad you started >> with the short answer :-). > > Cool! But beware, from such

Re: Escaping hyphens ("real" minus signs in groff)

2021-01-22 Thread G. Branden Robinson
Hi Deri! At 2021-01-22T16:27:38+, Deri wrote: > On Friday, 22 January 2021 03:56:00 GMT G. Branden Robinson wrote: > > The gap between aspiration and implementation. I don't think the > > "copy-and-paste from PDF to terminal window" matter is completely > > sorted out yet. > > Hi Branden, >

Re: Escaping hyphens ("real" minus signs in groff)

2021-01-22 Thread Deri
On Friday, 22 January 2021 03:56:00 GMT G. Branden Robinson wrote: > The gap between aspiration and implementation. I don't think the > "copy-and-paste from PDF to terminal window" matter is completely sorted > out yet. Hi Branden, I can't seem to make this not work. In my last email I

Re: Escaping hyphens ("real" minus signs in groff)

2021-01-22 Thread Michael Kerrisk (man-pages)
Hi Deri, On Thu, 21 Jan 2021 at 18:42, Deri wrote: > > On Thursday, 21 January 2021 11:03:13 GMT Michael Kerrisk (man-pages) wrote: > > > And I mean copy-and-paste not just from PDF but from a terminal window. > > > > Yes, but I have a question: "\-1" renders in PDF as a long dash > > followed

Re: Escaping hyphens ("real" minus signs in groff)

2021-01-21 Thread G. Branden Robinson
Hi Michael! At 2021-01-21T12:03:13+0100, Michael Kerrisk (man-pages) wrote: > I appreciate your long answer *very* much. But, I'm glad you started > with the short answer :-). Cool! But beware, from such pressures is the practice of top-replying born... ;-) > > Another issue to consider is

Re: Escaping hyphens ("real" minus signs in groff)

2021-01-21 Thread Deri
On Thursday, 21 January 2021 11:03:13 GMT Michael Kerrisk (man-pages) wrote: > > And I mean copy-and-paste not just from PDF but from a terminal window. > > Yes, but I have a question: "\-1" renders in PDF as a long dash > followed by a "1". This looks okay in PDF, but if I copy and paste > into

Re: Escaping hyphens ("real" minus signs in groff)

2021-01-21 Thread Michael Kerrisk (man-pages)
Hello Branden, On 1/21/21 7:12 AM, G. Branden Robinson wrote: > [looping in groff@ because I'm characterizing an unresolved argument and > people may want to dispute my claims] > > Hi Michael! > > At 2021-01-20T22:03:12+0100, Michael Kerrisk (man-pages) wrote: >> Hi Branden, >> >> I wonder if I

Re: Escaping hyphens ("real" minus signs in groff)

2021-01-20 Thread G. Branden Robinson
[looping in groff@ because I'm characterizing an unresolved argument and people may want to dispute my claims] Hi Michael! At 2021-01-20T22:03:12+0100, Michael Kerrisk (man-pages) wrote: > Hi Branden, > > I wonder if I might ask for your input... > > For some time now, man-pages(7) has the