[plt-scheme] modifying preferences from a collection .plt

[Eli Barzilay]

On Aug 21, Robby Findler wrote:
> The preferences system isn't really set up for what you're doing
> (changing the user's preferences when your tool is installed), [...]

It is generally a bad idea, which has caused problems in the past
(eg, when planet would touch stuff in the plt directory, leading to
root-owned results that would break things later).

-- 
          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                  http://www.barzilay.org/                 Maze is Life!