Glynn wrote:
> Installing extensions via the GUI should install them for
> an individual user, not system-wide.
perhaps default to ~/.grass/addons/ ?
(together with rename of .grassrc7 in trunk (it's not a rc file).
call that ~/.grass/init ? or?)
Hamish