| 1 |
Dnia 2015-06-07, o godz. 22:16:18 |
| 2 |
"Justin Lecher (jlec)" <jlec@g.o> napisał(a): |
| 3 |
|
| 4 |
> -----BEGIN PGP SIGNED MESSAGE----- |
| 5 |
> Hash: SHA512 |
| 6 |
> |
| 7 |
> On 07/06/15 14:48, Andrew Udvare wrote: |
| 8 |
> > On 07/06/15 05:12, Alexis Ballier wrote: |
| 9 |
> >> On Sat, 6 Jun 2015 22:00:14 -0400 Mike Gilbert |
| 10 |
> >> <floppym@g.o> wrote: |
| 11 |
> >> |
| 12 |
> >>> Compatibility with sed scripts is not something I care about. |
| 13 |
> ... |
| 14 |
> > However, I do not disagree an XML parser is better than sed for |
| 15 |
> > the purpose. There are plenty of XML pretty printers. |
| 16 |
> > |
| 17 |
> |
| 18 |
> So you guys think I am using sed for this? Really? |
| 19 |
> |
| 20 |
> Still you need to tell a XML formatter what indention style to use. |
| 21 |
|
| 22 |
Not exactly. You can write a tool that tries hard to recognize |
| 23 |
indentation style and repeat it. Like the one I wrote to replace |
| 24 |
<herd/> with <maintainer/> elements. It was pretty good in figuring out |
| 25 |
developer fancies, including multiple different indentation levels. |
| 26 |
|
| 27 |
-- |
| 28 |
Best regards, |
| 29 |
Michał Górny |
Archives