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!