gedit: есть ли сочетание клавиш в самом gedit для вставки даты и времени?
Примечание: мне интересно знать, существует ли ярлык для нативного gedit . Меня не интересуют решения с участием Autokey и т. Д.
В gedit 3.28.1 (Ubuntu 18.04) и 3.30.0 (Ubuntu 19.04), если я хочу вставить дату и время (при условии, что соответствующий плагин активен), мне нужно
- Нажмите Меню (☰)
- Нажмите Инструменты
- Нажмите Вставить дату и время…
- Нажмите Вставить
На этой странице нет списка сочетаний клавиш даже для перехода непосредственно к шагу № 3 в приведенном выше списке.
(Я знаю, что есть и другие способы, такие как использование xdotool и xsel для вставки времени и даты.)
1 ответ
В Gedit нажимают зубчатое колесо и выбирают Preferences
Откройтесь Plugin- вкладка и включает External Tools.
Закройтесь Preferences- окно и щелчок зубчатое колесо снова, Вы найдете опцию Manage External Tools... теперь, выберите его для открытия Manage External Tools- окно:
Нажмите + кнопка, чтобы добавить новую функцию и дать ему имя, добавляют date- команда с опциями по Вашему выбору, нажмите Shortcut key- кнопка и присваивает ярлык и в Output- поле выбирает Insert at cursor position из выпадающего меню.
Закройтесь Manage External Tools- окно и тест новое сочетание клавиш в основном gedit окне.