J'utilise la disposition du clavier finlandais qui mappe AltGr+ Spaceà un espace insécable (NBSP, U + 00A0). Je suis satisfait de cela en général, mais je trouve que j'écris souvent accidentellement NBSP au lieu de l'espace normal après le |symbole " " (écrit avec AltGr+ <avec la disposition du clavier finlandais) lorsque j'utilise la ligne de commande bash. Je suppose que cela est dû au fait que je dois tenir AltGrtout en tapant le tuyau et le relâcher avant de toucher l'espace. Et quand j'ai un mauvais timing pour la sortie de AltGrje me retrouve avec une faute de frappe invisible sur la ligne de commande et des messages d'erreur tels que

 grep: command not found

qui ressemble assez à

grep: command not found

ce qui rend ce problème un peu difficile à remarquer la première fois.

Je sais que je peux désactiver NBSP mais je préférerais le désactiver (avoir AltGr+ Spacepour produire de l'espace régulier) seulement après le caractère pipe, ou si ce n'est pas possible, toujours sur la ligne de commande bash ou au readlineniveau. Existe-t-il un moyen simple de le faire sans modifier le code source de bash readlineou mon émulateur de terminal ( gnome-terminal)?

Une autre bonne solution serait de configurer NBSP pour qu'il soit en quelque sorte visible sur la ligne de commande, par exemple remplacé par un autre caractère (disons U + 2423 ␣) pour le rendu uniquement.

Cela peut se faire au readlineniveau de deux manières différentes.

Méthode 1

Mettez le suivant dans .inputrc(le fichier de configuration pour readline):

# include default system config because ~/.inputrc overrides system config
$include /etc/inputrc
# map NBSP to regular space (left part has NBSP in quotes, right part has space)
" ":" "

Si le démarquage gâche ce qui précède, vous devez mettre NBSP entre guillemets sur le côté gauche des deux points comme expliqué dans le commentaire. Cela mappera toute occurrence de NBSP sur le flux d'entrée avec un espace régulier.

Méthode 2

Mettez ce qui suit dans .inputrc:

# include default system config because ~/.inputrc overrides system config
$include /etc/inputrc
# map "pipe + NBSP" to "pipe + regular space" (left part has NBSP in quotes)
"| ":"| "
set keyseq-timeout 250

L'idée est de mapper la séquence de touches {pipe suivie de NBSP} à {pipe suivie d'espace}. Cela fonctionne si vous tapez la séquence dans les 250 ms (configurable ci-dessus). Cependant, tant que le délai n'est pas écoulé, la saisie du symbole de tuyau seul ne produira rien. Et si vous tapez la séquence trop lentement, le correctif ne sera pas appliqué. Notez également que le délai d'expiration est global, donc si vous avez l'intention d'utiliser d'autres séquences, vous devez définir le délai d'expiration suffisamment longtemps pour pouvoir taper la séquence la plus longue. (La bibliothèque readline n'est pas assez intelligente pour permettre de taper les caractères et remplacer plus tard les caractères déjà visibles une fois que la séquence de caractères correspond à la configuration.)

Il existe un excellent article traitant de ce problème:

• Comment gérer les NBSP dans un terminal

J'ai essayé de résoudre le problème principal avec greples messages d'erreur et de changer NBSP en quelque chose de plus visible en utilisant la execcommande. Cependant, je n'ai pas encore obtenu la syntaxe:

exec 2> >(tr $'\xa0' $'\x43' >&2) 

L'idée est d'avoir cette commande ~/.bashrcpour qu'elle se charge automatiquement à l' gnome-terminalouverture. Mais comme je l'ai dit, cela ne fonctionne pas encore ...