Потерянное имя вкладки в gnome-terminal

Прочитайте документацию на странице BURG здесь, она также ссылается на страницу документации сообщества, которая весьма полезна для устранения неполадок при установке.

Я знаю, что раньше вам нужен BUC, но я не уверен если это все еще так; см. страницу BURG здесь и комментарий «charlie andrews»