Я бы, наверное, сделал что-то вроде этого:
os=$(uname -s)
case $os in
Linux)
distro=$(lsb_release -si)
case $distro in
Ubuntu)
echo "Ubuntu, great!"
;;
*)
echo "Sorry, Linux distribution '$distro' is not supported"
exit 1
;;
esac
;;
SunOS)
echo "SunOS, great!"
;;
*)
echo "Sorry, OS '$os' is not supported"
exit 1
;;
esac
Если версия, которую вы хотите, не находится в официальных PPA (для 14.04 LTS это похоже на gedit (3.10.4-0ubuntu4)), могут быть веские причины для этого, в основном, что более новые версии не тестируются, не рассматриваются стабильный и т. д.
Если вы действительно хотите использовать более новые версии программного обеспечения, вы можете обычно получать более новые версии непосредственно с соответствующих веб-страниц самих приложений. Сайт googling для gedits показал, что у них есть библиотека исходных пакетов:
Край кровотечения, кажется, 3.14.2 (по вашему запросу), и он был вставлен 4 декабря. Неудивительно, что это не в PPAs! Загрузите gedit-3.14.2.tar.xz и установите приложение из источника.
Удачи!
Это сработало для меня:
sudo add-apt-repository ppa:gnome3-team/gnome3
sudo apt-get remove gedit libgtksourceview-3.0-common
sudo apt-get install gedit=3.4.1-0ubuntu1 gedit-common=3.4.1-0ubuntu1 \
libgtksourceview-3.0-0 libgtksourceview-3.0-common=3.4.1-0ubuntu1 \
gir1.2-gtksource-3.0=3.4.1-0ubuntu1
Это установило последнюю версию gedit на этот комментарий.