[Gnu-arch-users] RE: recent changes

[Derek Zhou]

Some of us have to make do with nfs mounted home directory, while system
reboot is infrequent (a few weeks). In this case, revlib under /tmp is
the best I can think of.
Derek
   
> -----Original Message-----
> From: Matthieu Moy [mailto:address@hidden 
> Sent: Sunday, November 20, 2005 3:37 PM
> To: Derek Zhou
> Cc: address@hidden
> Subject: Re: recent changes
> 
> "Derek Zhou" <address@hidden> writes:
> 
> > I can make some patches so that tla will complain loud if a greedy
> > revlib is not found. Also how about a default greedy revlib in
> > either ~/my-tla-revlib or /tmp/uid-tla-revlib? 
> 
> Would /tmp/uid-tla-revlib really be an improvement over pristine
> trees? (usually, /tmp is deleted at reboot, whereas pristine trees are
> persistant)
> 
> -- 
> Matthieu
>