If the development version of GNOME is supported in this repository, set the next stable version to $gnomever, otherwise set the previous stable version.
If you find something wrong with this or have suggestions, please let me know. Thanks. :D
by roundabout, Saturday, 3 June 2017, 11:33:44 (1496489624), pushed by roundabout, Sunday, 11 May 2025, 13:22:10 (1746969730)
Author identity: nana-4 <hnmaigo@gmail.com>
41195e3e46cbbe1eb8cff79be42269bab3aad00e
repodir=$(cd $(dirname $0) && pwd)
srcdir=${repodir}/src
if test -z "$gnomever" ; then
if type -p gnome-shell > /dev/null ; then
gnomever=$(gnome-shell --version | cut -d ' ' -f 3 | cut -d . -f -2)
else
gnomever=3.18
fi
gnomever_major=$(gnome-shell --version | cut -d ' ' -f 3 | cut -d . -f 1)
gnomever_minor=$(gnome-shell --version | cut -d ' ' -f 3 | cut -d . -f 2)
if [ -z $gnomever_minor ]; then
gnomever=3.18
elif [ -e ${srcdir}/gnome-shell/$gnomever_major.$gnomever_minor ]; then
gnomever=$gnomever_major.$gnomever_minor
elif [ -e ${srcdir}/gnome-shell/$gnomever_major.$(($gnomever_minor + 1)) ]; then
gnomever=$gnomever_major.$(($gnomever_minor + 1))
elif [ -e ${srcdir}/gnome-shell/$gnomever_major.$(($gnomever_minor - 1)) ]; then
gnomever=$gnomever_major.$(($gnomever_minor - 1))
else
gnomever=3.18
fi
echo