[GRASS-dev] g.extension and rest/ dir bug

[Markus Neteler]

Hi devs,

this comes from the grass-user list:

On Fri, Jun 5, 2015 at 4:15 PM, Markus Neteler <neteler at osgeo.org> wrote:
> On Fri, Jun 5, 2015 at 4:05 PM, Carmine Massarelli
>> Hello,
>> if i use   g.extension -s extension=v.in.ply   i receive the error
>>
> ...
>> D1/5: grass.script.core.start_command(): g.message -e
>> message=Unable to create '/usr/lib/grass70/docs/rest':
>> [Errno 13] Permission denied: '/usr/lib/grass70/docs/rest'
>> D1/5: G_set_program_name(): g.message
>> D2/5: G_file_name(): path =
>> /media/massarelli/sdb/Mappe/GRASS/Statte/PERMANENT
>> ERROR: Unable to create '/usr/lib/grass70/docs/rest': [Errno 13] Permission
>> denied: '/usr/lib/grass70/docs/rest'

I wonder why this rest/ is generated at all...:

> I think that the "rest" directory should not be generated at all.
> Looks like a bug to me (strange that nobody else reported it so far AFAIK).

My suggestion is to at least comment out the rest/ stuff in
g.extension, for G7.0.1.

Opinions?

Markus