[GRASS-dev] ubuntu grass daily: installing addons: ERROR: Please install GRASS development package

[Markus Neteler]

On Thu, Feb 18, 2016 at 8:34 AM, Helmut Kudrnovsky <hellik at web.de> wrote:
> Anna Petrášová wrote
>> On Wed, Feb 17, 2016 at 4:45 PM, Helmut Kudrnovsky
...
>>> during installing an addon via g.extension, I get following message:
>>>
>>> g.extension extension=r.geomorphon url=
...
>>> ERROR: Please install GRASS development package
>>>
>>> how to install GRASS development package?
>>>
>>
>> This should work:
>> sudo apt-get install grass-daily-dev

How about changing the message and proposing common names?
Maybe even conditionalize using

echo $OSTYPE
linux-gnu

?

Markus