Comment contourner le terminal GNOME lors de l'envoi d'une input au keyboard?

Lorsque j'exécute une application shell interactive, comment puis-je lui envoyer une key (ou une combinaison de touches) qui serait normalement interceptée par le terminal GNOME? Dans ce cas particulier, c'est la key F10 qui est interceptée.

Des points bonus pour une solution générale qui fonctionnerait comme Alt , PgUp et AltTab (cela pourrait être utile pour un script shell pour configurer les raccourcis) ou dans d'autres terminaux.

Vous pouvez essayer de désactiver les raccourcis gnome dans Édition -> Raccourcis keyboard , afin que la window ne dévore pas les touches de fonction.

Il semble y avoir un bug gnome-terminal connu à ce sujet.

Sinon, si cela ne fonctionne pas, vous devrez utiliser un autre terminal qui envoie explicitement des touches de fonction comme codes de contrôle au terminal. rxvt est celui que je peux reorder, ou xterm.