GNU/Linux >> Linux の 問題 >  >> Ubuntu

Gedit:日付と時刻を挿入するためのGedit自体のキーボードショートカットはありますか?

注:自分自身をgeditするためのネイティブのショートカットがあるかどうかを知りたいです。 。 Autokeyなどを含むソリューションには興味がありません。

gedit 3.28.1(Ubuntu 18.04)および3.30.0(Ubuntu 19.04)で、日付と時刻を挿入する場合(対応するプラグインがアクティブであると想定)、次のようにする必要があります

  1. メニューをクリックします(☰)
  2. ツールをクリック
  3. [日付と時刻の挿入]をクリックします…
  4. [挿入]をクリックします

このページには、上記のリストのステップ3に直接進むためのキーボードショートカットはリストされていません。

(xdotoolやxselを使用して時刻と日付を挿入するなど、他の方法があることは知っています。)

承認された回答:

Geditで歯車をクリックし、Preferencesを選択します

Pluginを開きます -タブを押してExternal Toolsを有効にします 。

Preferencesを閉じます -ウィンドウを開いて歯車をもう一度クリックすると、Manage External Tools...オプションが表示されます。 次に、これを選択してManage External Toolsを開きます。 -ウィンドウ:

+をクリックします ボタンをクリックして新しい関数を追加して名前を付け、dateを追加します -選択したオプションを使用してコマンドを実行し、Shortcut keyをクリックします -ボタンを押してショートカットを割り当て、Output -フィールド選択Insert at cursor position ドロップダウンメニューから。

Manage External Toolsを閉じます -ウィンドウを開いて、新しいキーボードをテストします-メインのgeditウィンドウでショートカットします。

参照:geditのタイムスタンプキーボードショートカット


Ubuntu
  1. Ubuntuのコマンドラインから日付と時刻を同期する方法

  2. CentOS 8で日付、時刻、タイムゾーンを変更する-その方法は?

  3. Linux システムの再起動日時を表示する方法

  1. AlmaLinuxで日付と時刻を設定する方法

  2. 新しいノーチラスウィンドウを開いて表示するためのキーボードショートカット/コマンド?

  3. Linux で C++ を使用してシステムの日付と時刻を設定する

  1. Ubuntuのトップパネルに日付と完了時刻を表示する方法

  2. Ubuntu 20.04 LTSで日付、時刻、タイムゾーンを変更する方法

  3. Debian 10で日付、時刻、タイムゾーンを変更する方法