style(6) says not to convert tabs to spaces.

I see. People on Plan 9 are "told" which characters they "should" or "shouldn't" use in their text. Great!

An awk program can do this. The idea is to interpret tags as they come in
the form of a stack:
        code                    stack
        <html>                    html
        <head>                    head
                                        html
        <title>                   title
                                        head
                                        html
        </b>                      title           error: closing wrong tag
You can also check to see if tags make sense or bad tags are nested. For
example, don't see <body><body></body></body> as normal, nor
<title><b></b></title>.

That stack has been implemented in vim. There're nearly 500 different syntax matching and highlighting schemes for vim, and there's a simple language for writing your own schemes. Why not use vi?

--On Tuesday, August 19, 2008 11:54 PM -0400 Pietro Gagliardi <[EMAIL PROTECTED]> wrote:

Just a few other bits of relevance to the original topic:

On Aug 19, 2008, at 11:52 AM, Wendell xe wrote:
07. Automatic insertion of spaces for tabs

style(6) says not to convert tabs to spaces.

11. Bookmarks
If you know what text the bookmark will point to, make a comment on the
line above it:
        /* C comment */
        .\" troff comment
        # rc/awk comment
Set the comment to the text of the bookmark. Then, search for the text of
the bookmark with the appropriate comment delimiters. Easy enough.

16. HTML tag matching
An awk program can do this. The idea is to interpret tags as they come in
the form of a stack:
        code                    stack
        <html>                    html
        <head>                    head
                                        html
        <title>                   title
                                        head
                                        html
        </b>                      title           error: closing wrong tag
You can also check to see if tags make sense or bad tags are nested. For
example, don't see <body><body></body></body> as normal, nor
<title><b></b></title>.



Reply via email to