Вопросы Теги

Как активировать плагин терминала Gedit в Ubuntu 13.10?

У меня установлены следующие пакеты:

  • gedit
  • gedit-common
  • gedit-plugins

В В Ubuntu 12.04 с установленными этими пакетами все, что нужно, это активировать плагин терминала и нажать Ctrl + F9 , чтобы открыть нижнюю панель. Это не относится к Ubuntu 13.10 (Gedit 3.8.3), и я не могу понять, как это сделать.

7
задан 17.05.2020, 08:47

2 ответа

Убедившись, что gedit-plugins установлено, (заново) откройте gedit и перейдите к Изменить & rarr; Предпочтения и выберите вкладку Плагины . Здесь необходимо отметить Embedded Terminal . Затем, когда вы нажмете Ctrl + F9 , в нижней панели появится терминал:

Embedded terminal in gedit

13
ответ дан 17.05.2020, 08:48
  • 1
    Я записал в вопросе что этот doesn' t работают в версии Gedit I' m использование (3.8.3). Ctrl+F9 doesn' t делают вещь. – jpp 17.05.2020, 08:48
  • 2
    @Luí sdeSousa, Как сделал Вас переустановленный? Используйте: sudo apt-get purge gedit* для удаления всего связанного с gedit. Тогда установка с помощью sudo apt-get install gedit gedit-common gedit-plugins – denfromufa 17.05.2020, 08:48
  • 3
    Я переустановил Gedit. Ctrl+F9 все еще doesn' t работа, но теперь меню Tools не стало. Как я могу вернуть его? – Mike Palmice 17.05.2020, 08:49
  • 4
    @Luí sdeSousa ну, I' m использование Ubuntu 13.10 и той экранной охоты был взят от Gedit 3.8.3. Попытайтесь переустановить Gedit. – Yury Wallet 17.05.2020, 08:49
  • 5
    Я сделал что-то подобное, но я попробовал еще раз способ, которым Вы предлагаете. Тем не менее у меня нет меню Tools, ни Нижней Панели. Есть ли какая-либо другая версия GEdit, упакованного для 13,10? – Swier 17.05.2020, 08:50

В Gedit установите «gedit-plugins» и «gedit-developer-plugins» из Ubuntu Software Center в приложении «Текстовый редактор».

Затем перейдите к Редактировать , Предпочтения , Плагины , Встроенный терминал . Перезапустите gedit и после этого просто нажмите CTRL + F9 , и вы получите терминал, встроенный в gedit.

Я попробовал это в Ubuntu 14.04 LTS.

1
ответ дан 17.05.2020, 08:48

Теги

Похожие вопросы