Non riesco a capire come si inseriscono i caratteri ascii con linux, ho cercato un po' con google e l'unica soluzione che ho trovato è:
"Una cosa che però molti non sanno e che si possono inserire anche gli
altri caratteri strani in modo similare all'Alt-NUMERO di Win (almeno in
Gnome): basta fare Ctrl+Maiusc+xx dove xx è il codice unicode del
carattere (nel tuo caso 7B e 7D)... "
Ma non va!!! Come posso fare per usare i simboli della tabella ascii estesa?! :master: