Sto usando il layout di tastiera finlandese che mappa AltGr+ Spaceallo spazio non-break (NBSP, U + 00A0). Sono contento di questo in generale, ma trovo che spesso scrivo accidentalmente NBSP invece del normale |
simbolo " " spazio dopo pipe (scritto con AltGr+ <con layout di tastiera finlandese) mentre utilizzo la riga di comando bash. Immagino che ciò sia dovuto al fatto che devo tenere premuto AltGrmentre digito la pipa e rilasciarla prima di colpire lo spazio. E quando ho un pessimo tempismo per il rilascio, AltGrfinisco con un errore di battitura invisibile sulla riga di comando e messaggi di errore come
grep: command not found
che sembra abbastanza simile a
grep: command not found
il che rende questo problema un po 'difficile da notare per la prima volta.
So che posso disabilitare NBSP ma preferirei disabilitarlo (avendo AltGr+ Spaceper produrre spazio regolare) solo dopo il carattere pipe, o se ciò non è possibile, sempre sulla riga di comando o readline
livello di bash . Esiste un modo semplice per farlo senza modificare il codice sorgente di bash readline
o il mio emulatore di terminale ( gnome-terminal
)?
Un'altra buona soluzione sarebbe quella di configurare NBSP in modo che sia visibile in qualche modo sulla riga di comando, ad esempio sostituito con un altro carattere (diciamo U + 2423 ␣
) solo per il rendering.
" ":␣
abbastanza? Cos'altro ti serve?
echo a␣b
ma la riga di output risultante era echo a b
con NBSP reale nell'output. In quanto tale, penso che debba essere fatto a livello di readline (ovvero, l' editor della riga di comando mostra sempre un carattere visibile ma l'emulatore di terminale non può conoscere la differenza tra la visualizzazione dell'editor e la visualizzazione dell'output e quindi l'emulatore di terminale non può fare la sostituzione visiva per il rendering ).