From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <01a701c11b45$c066a3d0$3cf7c6d4@SOMA>
From: "Boyd Roberts" <boyd@fr.inter.net>
To: <9fans@cse.psu.edu>
References: <20010713124934.B1573199E4@mail.cse.psu.edu>, <3B4F0AC0.A13D016E@null.net> <9kb8vo$5c7$1@inputplus.demon.co.uk>
Subject: Re: [9fans] how people learn things (was architectures)
MIME-Version: 1.0
Content-Type: text/plain;
	charset="Windows-1252"
Content-Transfer-Encoding: 7bit
Date: Thu,  2 Aug 2001 13:24:53 +0200
Topicbox-Message-UUID: d88cb1c6-eac9-11e9-9e20-41e7f4b1d025

> gv, a GhostScript viewer, already has an option to refresh when the
> PostScript file changes.

oh good, let's add that option to all programs that read files.

what was readslow(1)'s behaviour on file truncation?  did it
cat the whole file or just display the last n lines?  i was
thinking of some sort of:

    readslow | ps-previewer

checking out stat(2), it's trivial.  use the 'vers' in the Qid:

    Qid is a structure containing path and vers fields, each
    an unsigned long: path is guaranteed to be unique among all
    path names currently on the file server, and vers changes
    each time the file is modified.

so:

    whenmod [ -t timeout ] file cmd [ args ... ]