Title: Ripristinare i caratteri sballati in console
Author: Sandro Tosi
Last modified: 2006-04-09 (2004-12-05)
Accidentalmente, eseguendo magari il ``cat'' di un file binario, poi i
caratteri in console risultano tutti simboli strani; questo
comportamento e` dovuto alla presenza, tra quelli visualizzati, del
carattere 016 (lo ``Shift Out'').
Per risolvere la situazione, si deve stampare il carattere 017 (lo
``Shift In''), e lo si puo` fare in questo modo:
$ echo -ne "\\017"
Potrebbe anche essere utile avere uno script per correggere questa
situazione, magari con un nome di facile scrittura...
Altrimenti sono disponibili anche altri comandi per ritornare alla
visualizzazione corretta dei caratteri:
$ reset, semplice da ricordare e anche da digitare ``alla cieca''
$ charset G0 |