Dans (X) Ubuntu 14.04, j’ai pu effectuer une opération Select All
à l’aide du clavier, dans Gnome Terminal, en appelant le menu (Alt-E -> A).
Avec les versions plus récentes de (X) Ubuntu, j'ai remarqué que les raccourcis vers la barre de menus n'étaient plus disponibles.
Pour certaines opérations, il est possible de définir un raccourci direct (par exemple, Reset and clear terminal
), mais pas pour Select All
.
Est-il possible de réaliser cette opération via le clavier?
Remarque: je me réfère strictement à Gnome Terminal, pas à d’autres applications de terminal.