Bonjour,
J'avais ce problème depuis longtemps et j'ai trouvé ce qui bloquait chez moi : dans les préférences du terminal, onglet Réglages, sous-onglet Clavier, il m'a fallu décocher la case "Utiliser la touche Option comme touche virtuelle".
Depuis, le thème basic du terminal me permet de...