On Thu, May 2, 2013 at 06:29:34PM +0200, Dimitri Fontaine wrote:
> Bruce Momjian <bruce@momjian.us> writes:
> > Uh, yeah, I think it does. I question whether a command-line diagnostic
> > tool really should use it though. It might also make grep of the result
> > difficult.
>
> Hey, it's 2013 outside. Just saying:
>
> $ echo 'µsec' | grep µsec
> µsec
> $ echo 'µsec' | awk '/µsec/'
> µsec
>
> Maybe there's no practical problem here,
My point is that tools would need to adjust to output not knowing if
they are getting UTF8 output, e.g.:
grep '(µ|u)sec'
Do any of the OS tools output UTF8 bytes as headers? I have never seen
it.
--
Bruce Momjian <bruce@momjian.us> http://momjian.us
EnterpriseDB http://enterprisedb.com
+ It's impossible for everything to be true. +