jdow wrote: > From: "jdow" <jdow@xxxxxxxxxxxxx> >> From: "Ed Greshko" <Ed.Greshko@xxxxxxxxxxx> >> >>> linuxmaillists@xxxxxxxxxxx wrote: >>>> This is a pipe | but what is this │ and how do you create >>>> it? >>>> >>> >>> It is meant to be a pipe as well. The man pages are in troff format >>> and for >>> some reason they used the │ to represent |. >>> >>> You can prove that to yourself by going to the man page and try using >>> │ with >>> the definitions given. You'll find it won't work....but | will. >> >> As to what it is you'll find it is a character with value 0xE2 in hex. >> There are various ways of entering such characters in various OSs. > > Oops - James Wilkerson got all three bytes of the character. At first I thought you were shaving points. But then I realized it was Wilkinson. -- No matter how subtle the wizard, a knife in the shoulder blades will seriously cramp his style.
