Gnome: se non funziona più il tastierino numerico

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.

Aprire connessioni ssh multiple

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