[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Gnu-arch-users] Re: File naming conventions
From: |
Miles Bader |
Subject: |
[Gnu-arch-users] Re: File naming conventions |
Date: |
Tue, 26 Oct 2004 10:07:20 +0900 |
Thomas Lord <address@hidden> writes:
> Can't you use a filter program to generate the output format you want
> from the output format provided?
This is perhaps harder than it should be because tla's output escaping
format seems very complicated -- e.g., unicode encoding etc -- and it
seems annoying to have to duplicate any decoding smarts that already
have to be in tla.
What I'd personally like (i.e., it would be convenient for me) is a
dumbed down "half-encoded" output format: use pika escaping for a small
fixed set of problematic characters (e.g. NUL, SPC, NL, CR, backslash
[to protect the pika escapes]), but for anything else, output decoded
"native" characters.
[I've posted this before, but nobody seemed to care; won't anybody think
of the scripters... :-...? ]
-Miles
--
`Cars give people wonderful freedom and increase their opportunities.
But they also destroy the environment, to an extent so drastic that
they kill all social life' (from _A Pattern Language_)
- Re: [Gnu-arch-users] Re: File naming conventions, (continued)
- Re: [Gnu-arch-users] Re: File naming conventions, Jason McCarty, 2004/10/21
- Re: [Gnu-arch-users] Re: File naming conventions, Zenaan Harkness, 2004/10/21
- Re: [Gnu-arch-users] Re: File naming conventions, mlh, 2004/10/22
- Re: [Gnu-arch-users] Re: File naming conventions, Thomas Lord, 2004/10/25
- Re: [Gnu-arch-users] Re: File naming conventions, Zenaan Harkness, 2004/10/26
- Re: [Gnu-arch-users] Re: File naming conventions, Thomas Lord, 2004/10/25
- [Gnu-arch-users] Re: File naming conventions,
Miles Bader <=
- Re: [Gnu-arch-users] Re: File naming conventions, Zenaan Harkness, 2004/10/26
- Re: [Gnu-arch-users] Re: File naming conventions, Miles Bader, 2004/10/26
- Re: [Gnu-arch-users] Re: File naming conventions, Zenaan Harkness, 2004/10/26
- [Gnu-arch-users] Re: File naming conventions, Miles Bader, 2004/10/26
- Re: [Gnu-arch-users] Re: File naming conventions, Zenaan Harkness, 2004/10/26
- [Gnu-arch-users] Re: Re: File naming conventions, Nikolai Weibull, 2004/10/26
- Re: [Gnu-arch-users] Re: File naming conventions, Thomas Lord, 2004/10/27
- Re: [Gnu-arch-users] Re: File naming conventions, Zenaan Harkness, 2004/10/27
- Re: [Gnu-arch-users] Re: File naming conventions, Matthew Dempsky, 2004/10/27
- [Gnu-arch-users] Re: File naming conventions, Miles Bader, 2004/10/28