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

2018-01-01 Thread Chris Lamb
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 f

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

2018-01-01 Thread Paul Wise
On Mon, 01 Jan 2018 19:26:12 +0800 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. -- bye, pabs https://wiki.debian.org/PaulWise signature.a

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

2018-01-01 Thread Paul Wise
Package: lintian Version: 2.5.66 Severity: wishlist gnome-shell extensions install a JSON file containing an object with a shell-version member that contains a list of gnome-shell major versions (3.26 for eg) the extension is compatible with. When the installed gnome-shell version doesn't match on