Bug#885995: lintian: check that gnome-shell extensions depend on the right gnome-shell version range

[Chris Lamb <lamby@debian.org>]

tags 885995 + moreinfo
thanks

Paul Wise wrote:

> > When the installed gnome-shell version doesn't match one of these
> > versions then the extension cannot be loaded.
>
> Actually, this might not be true so I'm not sure about this check.

Okay, tagging as moreinfo for the time being. :)  Thanks for the report
regardless!

Another approach here would be for gnome-shell extension developers to
use some kind of dh-gnome-shell-extension which does this for them,
possibly with substvars...?


Regards,

-- 
      ,''`.
     : :'  :     Chris Lamb
     `. `'`      lamby@debian.org / chris-lamb.co.uk
       `-