From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <b13a9b75e679e9093f8e8300c2f6a1f2@vitanuova.com>
To: 9fans@cse.psu.edu
Subject: Re: [9fans] hget
From: rog@vitanuova.com
In-Reply-To: <200403292008.i2TK89gK003698@adat.davidashen.net>
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Date: Mon, 29 Mar 2004 21:18:20 +0100
Topicbox-Message-UUID: 46175450-eacd-11e9-9e20-41e7f4b1d025

> {for(i in $urls) hget $i} | cat > allurls 
>
> should work, shouldn't it? seek on a pipe should do nothing?

yes.

except that in the case of a retry after premature eof,
you'll get duplicated output, something it's probably
better to avoid if poss.