Se un bel giorno accendete il PC e scoprite che il tastierino numerico non funziona più come vi aspettate, questa è una soluzione che ha funzionato sul mio PC.
Aprire con il vostro editor preferito il file /usr/share/X11/xkb/compat/complete
Cercate queste sue righe:
augment "mousekeys"
augment "accessx(full)"
Mettete due slash davanti per commentarle:
//augment "mousekeys"
//augment "accessx(full)"
Riavviate.
Capita spesso di dover aprire una serie di connessioni ssh sempre agli stessi host.
Questo è il tipico caso del SysAdmin che arriva la mattina al lavoro, oppure di quando vuole collegarsi ad un gruppo noto di host per eseguire lavori di manutenzione, il tutto senza avere decine di finestre aperte sul desktop, ma sfruttando i tab del terminale di Gnome
gnome-terminal è abbastanza parco di parametri della command line e bisogna, quindi, prenderla un po’ alla lontana per fare quel che serve.
Lo script che segue, eseguito in una finestra di gnome-terminal apre un tab per ogni host ed esegue una connessione ssh all’host indicato.
#!/bin/bash
function apri {
WID=$(xprop -root | grep "_NET_ACTIVE_WINDOW(WINDOW)"| awk '{print $5}')
xdotool windowfocus $WID
xdotool key ctrl+shift+t
xdotool type "ssh $1"
xdotool key Return
wmctrl -i -a $WID
}
apri www.acme.com
apri www.pippo.it
apri www.pluto.it
apri www.paperino.it