On Wed, Jan 22, 2014 at 11:43 PM, <[email protected]> wrote:

> Hi cherry. Since werc's original author passed away it's fallen to me to
> manage this list.
>
>
> > (It seems sending email to [email protected] does not work, so try
> > direct post, sorry if duplicated.)
>
> Sorry about that. The list has been set to "moderated" by default, which
> holds
> messages for approval. I've changed your status manually so your posts will
> not require manual authorization. I'm not sure why the list was set this
> way,
> but maybe in the future we can enable unmoderated posts by members.
>
>
Thank you, sl. Also great thanks for maintaining the list.


> Makes sense. But I wonder if it might not be better to fix template.awk
> rather than to add another execution of cat to every instance of echo in
> the
> program. We're already fighting an uphill struggle for performance on Plan
> 9
> (see: cat-v.org).
>

Agreed. Invoking cat every time hurts the performance. I totally forgot
it... Indeed I initially thought to filter out empty "echo -n"s from
template.awk's output before piping to rc, but it would affect quoted
literal "echo -n" if user wanted to write that. Template.awk does not
examine the content in %(...%), so it seems hard to check the emptiness
there. Perhaps the most efficient way is to rewrite echo in C, which does
basically the same thing but does not do zero-length write()'s? Also I
start thinking whether "echo -n"'s zero-length write() is the desired
behavior. On one hand, it is an easy way to do a zero-length write(). On
the other hand, it makes rc script behaves differently if sending to a
pipe. Will ask 9fans list seeking a better answer.

Thanks,
- cherry

-- 
You received this message because you are subscribed to the Google Groups 
"werc" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/werc9.
For more options, visit https://groups.google.com/groups/opt_out.

Reply via email to