[plt-scheme] setup-plt --root

On Jan  6, tverwaes at igwe.vub.ac.be wrote:
> Is there a function to prepend a custom root to the setup-plt
> collection installpath (in linux)?  This would be pretty nice for a
> gentoo-installer...
> 
> Something like setup-plt --root=/bla bla.plt would install
> everything to /bla/usr/share/drscheme/...

If you run "setup-plt -h", you'll see this:

  -a, --all-users : Install archives into PLTHOME, not user-specific directory

so it will install files in the plt directory it was running from (or
setup using PLTHOME).

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