Tag: gnome

  • 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

    #!/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