Remarque :Je souhaite savoir s'il existe un raccourci natif vers gedit lui-même . Je ne suis pas intéressé par les solutions impliquant Autokey, etc.
Dans gedit 3.28.1 (Ubuntu 18.04) et 3.30.0 (Ubuntu 19.04), si je veux insérer la date et l'heure (en supposant que le plugin correspondant est actif), je dois
- Cliquez sur Menu (☰)
- Cliquez sur Outils
- Cliquez sur Insérer la date et l'heure…
- Cliquez sur Insérer
Cette page ne répertorie pas de raccourci clavier, même pour accéder directement à l'étape 3 de la liste ci-dessus.
(Je sais qu'il existe d'autres moyens tels que l'utilisation de xdotool et xsel pour insérer l'heure et la date.)
Réponse acceptée :
Dans Gedit, cliquez sur la roue dentée et choisissez Preferences
Ouvrez le Plugin -tab et activez External Tools .
Fermez les Preferences -window et cliquez à nouveau sur la roue dentée, vous trouverez l'option Manage External Tools... maintenant, sélectionnez-le pour ouvrir le Manage External Tools -fenêtre :
Cliquez sur le + bouton pour ajouter une nouvelle fonction et lui donner un nom, ajouter la date -commande avec les options de votre choix, cliquez sur la Shortcut key -bouton et assignez un raccourci et dans la Output -champ choisissez Insert at cursor position dans le menu déroulant.
Fermez le Manage External Tools -window et testez le nouveau raccourci clavier dans la fenêtre principale de gedit.
Référence :Raccourci clavier d'horodatage dans gedit