[GRASS-dev] change permissions for mapsets

[Hamish]

Glynn Clements wrote:

> 3. No-one should ever have the PERMANENT mapset as their current
> mapset. GRASS doesn't actually enforce this, although it probably
> should.

It is useful to occasionally drop into the PERMANENT to use 
"g.copy perm_map,map at other_mapset", so that a base map will be available
to all mapsets without qualification or risk of accidental damage.


Maybe add a "are you sure you want to do this?" dialogue window to the
GUI startup menu if the PERMANENT mapset is selected.


Hamish