Сбой SmartGit в Ubuntu 13.10

Проблема в библиотеках gtk для Ubuntu 13.10. Глобальное меню, которое есть в Ubuntu, GTk не может использовать его для своих пунктов меню. Следовательно, как сказал @bogdan, либо воспользуйтесь командой

UBUNTU_MENUPROXY= ./smartgit.sh

, либо откройте smartgit.sh / smartgithg.sh в своем любимом текстовом редакторе и добавьте строку ниже сразу после комментариев в файле, [ 114]

UBUNTU_MENUPROXY=0

т.е. это должно выглядеть как

#!/bin/bash
#
# Normally, editing this script should not be required.
#
# To specify an alternative Java Runtime Environment, set the environment variable SMARTGITHG_JAVA_HOME

UBUNTU_MENUPROXY=0

if [ ......

Первый комментарий этого сообщения об ошибке предоставляет обходной путь, который для меня работает. Просто запустите SmartGit следующим образом:

UBUNTU_MENUPROXY= ./smartgit.sh

Его можно использовать как временное решение, пока ошибка не будет устранена.