[GRASS-dev] g.extension still broken in GRASS 7 on Mac

[Markus Neteler]

Michael,

it tries to run the virtual session therein to generate the header of
the manual. So it wants to use PERMANENT rather than store anything
there. Perhaps there is a switch needed/existing to not test who the
owner of the mapset is.

Markus