path: root/PKGBUILD
diff options
authorXZS2016-04-22 11:52:15 +0200
committerXZS2016-04-22 11:52:15 +0200
commit664b278f4b4aa82eafeeca3747666fd9c73fad8d (patch)
tree08522878329d4863ba32204c52568976be0b051b /PKGBUILD
parent716e74b8ada8b4126fd1cea2f1b6b97eb3c210a8 (diff)
fix version comparison
Comparing the minor version to a string of minor and major will never succeed. Originally, a restriction on the current shell version was omitted for historical reasons - most packages did so when dependencies were defined manually. This now turns into a concious decision to - permit the usage of the extension in instable gnome-shell versions - the ones with odd minor version numbers - where incompatibilities are introduced gradually. - ease the transition from one stable gnome-shell version - the ones with even minor version numbers - to the next. In an ideal world, all extensions should have been updates before the update hits the repositories. But as Arch is quite more on the edge than developers of some of the extensions, this is not the case more often than not.
Diffstat (limited to 'PKGBUILD')
1 files changed, 1 insertions, 1 deletions
diff --git a/PKGBUILD b/PKGBUILD
index d3eba14eecd..c917b276135 100644
@@ -85,7 +85,7 @@ package_20_version() {
tr '\n," ' '\n' | sed 's/3\.//g;/^$/d' | sort -n -t. -k 1,1))
local max="${compatibles[-1]}"
- if [ "3.$max" != $(
+ if [ "$max" != $(
gnome-shell --version | grep -Po '(?<=GNOME Shell 3\.)[[:digit:]]+'
) ]; then
depends+=("gnome-shell<3.$((${max%%.*} + 1))")