On Saturday 21 April 2012 22:47:34 Riccardo Romoli wrote: > but the Alt key doesn't work both in the various text editors > (emacs, gedit...) and in the terminal, to type the extra character > such as tilde, square brackets... > > How can I solve this problem? Is there a way to manually map the keyboard?? Which keyboard? My keyboard (UK) has tilde just a shift away (on the same key as #), and square brackets have their own keys. Lisi