Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.unix.shell > #21739
| From | Spiros Bousbouras <spibou@gmail.com> |
|---|---|
| Newsgroups | comp.unix.shell |
| Subject | Re: Extended pattern syntax extension |
| Date | 2021-07-04 17:36 +0000 |
| Organization | Aioe.org NNTP Server |
| Message-ID | <DB2Kj8NtDjTSf8VP@bongo-ra.co> (permalink) |
| References | (1 earlier) <sbqpud$igo$1@news-1.m-online.net> <MmsCcM5LbSdiv6H71k@bongo-ra.co> <sbshup$2kp$1@news-1.m-online.net> <gtsCcM5Lb@bongo-ra.co> <sbskie$3b2$1@news-1.m-online.net> |
On Sun, 4 Jul 2021 17:36:46 +0200
Janis Papanagnou <janis_papanagnou@hotmail.com> wrote:
> On 04.07.2021 17:07, Spiros Bousbouras wrote:
> > On Sun, 4 Jul 2021 16:52:09 +0200
> > Janis Papanagnou <janis_papanagnou@hotmail.com> wrote:
> >> I haven't inspected the character's code number, I just copy/pasted it
> >> from the ksh man page, I don't think I've replaced anything. If I copy
> >> the text passages from the man page into 'od -c' I certainly don't get
> >> the pipe symbol '|'. Does your ksh man page show the correct character?
> >
> > It shows | i.e. ASCII 124. I also experimented with using ⎪ (unicode
> > 9130 decimal) and ksh takes it literally i.e. it matches itself. I think
> > it would be good if you examined the source code of the man page. If it
> > really has ⎪ then it's a bug. If it doesn't then the bug is with one
> > of the tools of the man pipeline which translate the page.
>
> The man page is full of that "other" pipe symbol, there's only three
> instances of the "real" one.
>
> The files ksh.1.gz and ksh93.1.gz contain only the "real" pipe symbol.
> It seems the *roff processor creates that symbol in specific contexts?
It would seem so. I have encountered something analogous : doing
groff -m mandoc -T html ./some-groff-source
produces
’ when there is ' in the original
‘ when there is ` in the original
− when there is - in the original
.According to
https://www.w3.org/wiki/Common_HTML_entities_used_for_typography
’ is unicode 8217
‘ is unicode 8216
− is unicode 8722
which of course was not what I wanted. In particular when the man page has
code examples , doing these replacements breaks the code. So I always use
groff -m mandoc -T html ./some-groff-source | sed -e "s/’/\'/g" -e "s/‘/\`/g" -e "s/−/\-/g" > man-page.html
--
About a car each minute gets blasted and 1000 liters of gasoline are burnt...
They sure did not have ecology in mind.
www.imdb.com/review/rw2940189/
Back to comp.unix.shell | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Extended pattern syntax extension Janis Papanagnou <janis_papanagnou@hotmail.com> - 2021-05-13 10:34 +0200
Re: Extended pattern syntax extension Spiros Bousbouras <spibou@gmail.com> - 2021-05-13 13:22 +0000
Re: Extended pattern syntax extension Janis Papanagnou <janis_papanagnou@hotmail.com> - 2021-05-13 16:59 +0200
Re: Extended pattern syntax extension Spiros Bousbouras <spibou@gmail.com> - 2021-05-13 18:34 +0000
Re: Extended pattern syntax extension Janis Papanagnou <janis_papanagnou@hotmail.com> - 2021-05-15 11:54 +0200
Re: Extended pattern syntax extension Kaz Kylheku <563-365-8930@kylheku.com> - 2021-05-13 16:04 +0000
Re: Extended pattern syntax extension Janis Papanagnou <janis_papanagnou@hotmail.com> - 2021-05-13 20:18 +0200
Re: Extended pattern syntax extension Janis Papanagnou <janis_papanagnou@hotmail.com> - 2021-07-04 00:56 +0200
Re: Extended pattern syntax extension Spiros Bousbouras <spibou@gmail.com> - 2021-07-04 14:32 +0000
Re: Extended pattern syntax extension Janis Papanagnou <janis_papanagnou@hotmail.com> - 2021-07-04 16:52 +0200
Re: Extended pattern syntax extension Spiros Bousbouras <spibou@gmail.com> - 2021-07-04 15:07 +0000
Re: Extended pattern syntax extension Janis Papanagnou <janis_papanagnou@hotmail.com> - 2021-07-04 17:36 +0200
Re: Extended pattern syntax extension William Unruh <unruh@invalid.ca> - 2021-07-04 17:03 +0000
Re: Extended pattern syntax extension "David W. Hodgins" <dwhodgins@nomail.afraid.org> - 2021-07-04 15:32 -0400
Re: Extended pattern syntax extension "David W. Hodgins" <dwhodgins@nomail.afraid.org> - 2021-07-04 15:40 -0400
Re: Extended pattern syntax extension joerg@schily.net - 2021-07-05 10:43 +0000
Re: Extended pattern syntax extension Spiros Bousbouras <spibou@gmail.com> - 2021-07-04 17:36 +0000
Re: Extended pattern syntax extension William Unruh <unruh@invalid.ca> - 2021-07-04 15:57 +0000
Re: Extended pattern syntax extension Spiros Bousbouras <spibou@gmail.com> - 2021-07-04 17:17 +0000
Re: Extended pattern syntax extension William Unruh <unruh@invalid.ca> - 2021-07-04 19:43 +0000
Re: Extended pattern syntax extension William Unruh <unruh@invalid.ca> - 2021-07-04 15:33 +0000
csiph-web