J'ai un problème étrange avec l'insertion de barres obliques (Ubuntu 10.10 et 11.04, la mise à niveau n'a rien changé). La combinaison de touches sur mon clavier (Thinkpad T400 suédois) est AltGr + ?. Cependant, cela ne semble pas être le problème, car cela n'apparaît qu'avec certains programmes.
Par exemple, avec bash 4.2, python 2.7, python 3.2, swipl 5.10, je ne peux pas taper ni copier-coller la barre oblique dans le terminal. Avec ash, csh, ghci, nano, vi, idle, idle3, tout se comporte comme attendu, je peux à la fois taper et copier-coller. Par exemple, en copiant
echo gurka\\\\agurk(quatre barres obliques littérales) et en le collant dans csh (puis en appuyant sur entrée), j'obtiens
$ csh
% echo gurka\\\\agurk
gurka\\agurkmais avec bash, j'obtiens
$ echo gurkaagurk
gurkaagurkMalheureusement, j'ai remarqué cela assez longtemps après de nombreuses nouvelles installations et je ne peux pas dire quand cela est apparu pour la première fois. Je soupçonne un bug ou une configuration conflictuelle d'une bibliothèque commune au premier groupe mais pas au second, mais je ne suis pas sûr de ce qu'il faut faire ensuite. C'est extrêmement ennuyeux et je suis reconnaissant pour les astuces.
MISE À JOUR: le comportement est le même pour konsole et tout ce que vous obtenez avec Ctrl-Alt-F1 (ce que j'avais testé). Cela ne fonctionne pas non plus avec gnome-terminal et xterm, mais ces deux indiquent une erreur (en clignotant). Des idées sur ce qu'il faut vérifier ?
MISE À JOUR: Le problème est résolu, grâce à Gilles! C'était une mauvaise configuration de la bibliothèque readline (.inputrc)
Marcus
