As a datapoint, sticking the cache in /tmp is exactly what I do in rply.
I've never heard a complaint about it (admittingly I have waaaay fewer
users).

Alex


On Mon, Jul 8, 2013 at 9:24 PM, David Beazley <[email protected]> wrote:

> So, I was thinking about the PLY parsetab.py file this morning.   What
> would people think if the data contained in this file was simply written
> somewhere in the system temporary directory (e.g., /tmp) and regenerated as
> needed?   Under such a scheme, everything would work pretty much the way it
> does now except that I could deprecate that whole sea of options about
> parsetab files, output directories, and whatnot.   The only real downside
> that I can think of is that the parser tables would have to be regenerated
> after a reboot.  However, who would really care given that it only takes a
> few seconds?
>
> Thoughts?
>
> -Dave
>
>
> --
> You received this message because you are subscribed to the Google Groups
> "ply-hack" 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].
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/ply-hack/6733F746-12F2-4393-9269-286EF0C043A2%40dabeaz.com
> .
> For more options, visit https://groups.google.com/groups/opt_out.
>
>
>


-- 
"I disapprove of what you say, but I will defend to the death your right to
say it." -- Evelyn Beatrice Hall (summarizing Voltaire)
"The people's good is the highest law." -- Cicero
GPG Key fingerprint: 125F 5C67 DFE9 4084

-- 
You received this message because you are subscribed to the Google Groups 
"ply-hack" 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].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ply-hack/CAFRnB2Uvq6rCEqHT-twomS20%2BbccokY%3Dj_1P_h9SrMAFCnYeWw%40mail.gmail.com.
For more options, visit https://groups.google.com/groups/opt_out.


Reply via email to