Re: Cambiare la posizione delle parentesi graffe
On Thu, 2004-10-07 at 10:10, Dodiesis wrote:
> Il gio, 2004-10-07 alle 01:22, Michelasso ha scritto:
> > On Wed, 2004-10-06 at 21:28, Dodiesis wrote:
> >
> > > quindi dovrebbero diventare:
> > > xmodmap -e "keycode 17 = 8 parenleft 1 1 braceleft"
> > > xmodmap -e "keycode 18 = 9 parenright 1 1 braceright"
>
> > Ok, ringrazio tutti, questa mi sembra la soluzione più semplice da
> > implementare. O meglio mi sembrava...infatti ho provato a renderla
> > automatica all'avvio di Gnome, ma non ci sono riuscito.
> []
>
> ma gnome non ha più un pannello di controllo con "applicazioni
> all'avvio" ?
Non ha più un pannello di controllo, comunque la possibilità aggiungere
delle applicazioni da lanciare all'avvio l'ho trovata in Applications ->
Desktop Preferences -> Advanced -> Sessions
Ho creato quindi il seguente script (chiamato myxmodmap):
#!/bin/bash
xmodmap .Xmodmap
poi l'ho aggiunto utilizzando il tool suddetto.
Ora in effetti la tastiera viene correttamente modificata, tuttavia ho
anche l'indesiderato effetto di avere lo splash screen di gdm che si
blocca sul desktop, non sparisce più come faceva prima; ho fatto la
prova inserendo nelle applicazioni da lanciare all'avvio invece
un'applicazione "standard" (ad es. evolution) e tutto è ok, dunque il
problema sembra essere proprio nel mio script.
Suggerimenti per evitare questo effetto indesiderato?
Mi viene comunque da riflettere sul fatto che per un utilizzo desktop da
parte di un utente standard la possibilità di modificare la tastiera a
proprio piacimento dovrebbe essere più user friendly.
Adeu
Reply to: